Differences

This shows you the differences between two versions of the page.

Link to this comparison view

publications [2013/12/13 12:12]
fabrizio
publications [2020/08/31 11:13] (current)
fabrizio
Line 1: Line 1:
-====Ph.D. Thesis====+ 
 +An updated list of (downlodable) publications is available on [[https://​orbilu.uni.lu/​simple-search?​query=fabrizio+pastore|Orbi.uni.lu]]. 
 + 
 +Click [[http://​goo.gl/​W95KtF|here]] to access my Google Scholar page. 
 + 
 + 
 +=====Ph.D. Thesis=====
 Fabrizio Pastore. Automatic Diagnosis of Software Functional Faults by Means of Inferred Behavioral Models. Ph.D. Thesis. University of Milano -Bicocca, http://​hdl.handle.net/​10281/​7818,​ 2010. Fabrizio Pastore. Automatic Diagnosis of Software Functional Faults by Means of Inferred Behavioral Models. Ph.D. Thesis. University of Milano -Bicocca, http://​hdl.handle.net/​10281/​7818,​ 2010.
  
 +=====Selected Publications=====
  
-====International Journals==== +Chunhui Wang, Fabrizio Pastore, ​Lionel BriandOracles ​for Testing Software Timeliness with UncertaintyACM Transactions on Software Engineering ​and Methodology ​(IF 2017 2.516). 2019To appearhttps://​orbilu.uni.lu/​handle/​10993/​36987
-Leonardo Mariani, Fabrizio Pastore, ​Mauro PezzèDynamic Analysis ​for Diagnosing Integration FaultsIEEE Transactions on Software Engineering (Impact Factor 3.75), Vol37 (4)Pages 486 - 508IEEE Computer Society, 2011+
  
-Alessandra Gorla, Mauro Pezzè, Jochen Wuttche, Leonardo Mariani, Fabrizio Pastore. ​Achieving cost-effective software reliability through self-healingComputing ​and Informatics2. Pages 1001 1022Institute of Informatics,​ Slovak Academy of Sciences, Bratislava, Slovakia2010.+Chunhui Wang, Fabrizio Pastore, Lionel BriandAutomated Generation of Constraints from Use Case Specifications to Support System Testing11th International Conference on Software Testing, Verification ​and Validation (ICST). Västerås Sweden2018. IEEE. Pages 23 33ISBN: 978-1-5386-5012-7 DOI: 10.1109/​ICST.2018.00013.
  
-Leonardo Mariani, Fabrizio Pastore, ​Mauro Pezzè, Mauro SantoroMining Finite-State Automata with AnnotationsMining ​Software ​Specifications:​ Methodologies ​and ApplicationsCRC Press2011.+Daniel Di Nardo, Fabrizio Pastore, ​Lionel BriandAugmenting field data for testing systems subject to incremental requirements changesACM Transactions on Software ​Engineering ​and Methodology (IF 2016/17 2.516). Vol 26 (1). ACM2017. ISSN:​1049-331X EISSN:​1557-7392 DOI: 10.1145/​3053430
  
-====International Conferences and Workshops====+Fabrizio Pastore, Leonardo Mariani, Daniela Micucci. BDCI: behavioral driven conflict identification. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE ‘17). Pages 570-581. Padernborn, Germany, 2017. ISBN: 978-1-4503-5105-8. DOI: 10.1145/​3106237.3106296. ACM. 
 + 
 +Fabrizio Pastore, Leonardo Mariani. ZoomIn: Discovering Failures by Detecting Wrong Assertions. In Proceedings of the 37th International Conference on Software Engineering (ICSE’15). Pages 66 – 76. Firenze, Italy, 2015. IEEE. ISBN: 978-1-4799-1934-5. 
 + 
 + 
 +=====Peer Reviewed Publications===== 
 + 
 + 
 +Mauricio Alferez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel Briand. Bridging the Gap between Requirements Modeling and Behavior-driven Development. In Proceedings of 22nd IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS). 2019. 
 + 
 +Xuan Phu Mai, Fabrizio Pastore, Arda Goknil, Lionel Briand. MCP: A Security Testing Tool Driven by Requirements. 
 +In Companion Proceedings of the IEEE/ACM 41st International Conference on Software Engineering (tool demo). 
 + 
 +Chunhui Wang, Fabrizio Pastore, Lionel Briand. Oracles for Testing Software Timeliness with Uncertainty. ACM Transactions on Software Engineering and Methodology (IF 2017 2.516). 2019. https://​orbilu.uni.lu/​handle/​10993/​36987. 
 + 
 +Xuan Phu Mai, Fabrizio Pastore, Arda Goknil, Lionel Briand. A Natural Language Programming Approach for Requirements-based Security Testing. ​ In Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). Memphis (TN, USA), October 15-18, 2018. http://​hdl.handle.net/​10993/​36301. 
 + 
 +Xuan Phu Mai, Arda Goknil, Lwin Khin Shar, Fabrizio Pastore, Lionel Briand, Shaban Shaame. ​ Modeling Security and Privacy Requirements:​ a Use Case-Driven Approach. Information and Software Technology (IF 2017 2.627). Volume 100. Pages 165 - 182. ISSN :    0950-5849. Elsevier Science, Amsterdam (Netherlands). 
 + 
 +Xuan Phu Mai, Fabrizio Pastore, Arda Goknil, Lionel Briand. A Natural Language Programming Approach for Requirements-based Security Testing. ​ 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). Memphis, Tennessee, USA, October 15-18, 2018. http://​hdl.handle.net/​10993/​36301. 
 + 
 +Chunhui Wang, Fabrizio Pastore, Lionel Briand. Automated Generation of Constraints from Use Case Specifications to Support System Testing. 11th International Conference on Software Testing, Verification and Validation (ICST). Västerås Sweden, 2018. IEEE. Pages 23 - 33. ISBN: 978-1-5386-5012-7 DOI: 10.1109/​ICST.2018.00013. 
 + 
 +Lionel Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh. The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Software (IF 2016/17 2.19). Vol. 34 (5). Pages 72 - 75. IEEE, 2017. ISSN: 0740-7459, DOI: 10.1109/​MS.2017.3571562. 
 + 
 +Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè. An Exploratory Study of Field Failures. In Proceedings of the 28th international Symposium on Software Reliability Engineering (ISSRE ‘17). Toulouse, France, 2017. IEEE. 
 + 
 +Fabrizio Pastore, Leonardo Mariani, Daniela Micucci. BDCI: behavioral driven conflict identification. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE ‘17). Pages 570-581. Padernborn, Germany, 2017. ISBN: 978-1-4503-5105-8. DOI: 10.1145/​3106237.3106296. ACM. 
 + 
 +Chunhui Wang, Fabrizio Pastore, Lionel Briand. System Testing of Timing Requirements Based on Use Cases and Timed Automata. In Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST ‘17). Pages 299 - 309. Tokyo, Japan, 2017. ISBN: 978-1-5090-6031-3. DOI: 10.1109/​ICST.2017.43. IEEE. 
 + 
 +Fabrizio Pastore, Daniela Micucci, Leonardo Mariani. Timed k-Tail: Automatic Inference of Timed Automata. In Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST ‘17). Pages 401 - 411. Tokyo, Japan, 2017. ISBN: 978-1-5090-6031-3. DOI: 10.1109/​ICST.2017.43. IEEE. 
 + 
 +Daniel Di Nardo, Fabrizio Pastore, Lionel Briand. Augmenting field data for testing systems subject to incremental requirements changes. ACM Transactions on Software Engineering and Methodology (IF 2016/17 2.516). Vol 26 (1). ACM, 2017. ISSN:​1049-331X EISSN:​1557-7392 DOI: 10.1145/​3053430 
 + 
 +Fabrizio Pastore, Leonardo Mariani. Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. In Proceedings of the 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA’16). Corfù, Greece, 2016.  
 + 
 +Daniel Di Nardo, Fabrizio Pastore, Andrea Arcuri, Lionel Briand. Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation. In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE’15). Pages 126-137. Lincoln, Nebraska (USA), 2015. IEEE. 
 + 
 +Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, Muhammad Zohaib Iqbal. Automatic Generation of System Test Cases from Use Case Specifications. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA’15). Pages 385-396. Baltimore, USA, 2015. ACM. ISBN: 978-1-4503-3620-8. DOI 10.1145/​2771783.2771812 
 + 
 +D. Di Nardo, F. Pastore, L. Briand. Generating Complex and Faulty Test Data through Model-Based Mutation Analysis. Proceedings of the 8th International Conference on 
 +Software Testing, Verification and Validation (ICST), Graz, Austria, 2015. IEEE. INSPEC: 15111241 DOI: 10.1109/​ICST.2015.710258 
 + 
 +Fabrizio Pastore, Leonardo Mariani. ZoomIn: Discovering Failures by Detecting Wrong Assertions. In Proceedings of the 37th International Conference on Software Engineering (ICSE’15). Pages 66 – 76. Firenze, Italy, 2015. IEEE. ISBN: 978-1-4799-1934-5. 
 + 
 +Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso. MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (ASE’14). Pages 815 - 826. Vasteras, Sweden, 2014. ACM. ISBN: 978-1-4503-3013-8. 
 + 
 +F. Pastore, L. Mariani, A. E. J. Hyvärinen,​ G. Fedyukovich,​ N. Sharygina, S. Sehestedt, A. Muhammad. Verification Aided Regression Testing. Proceedings of the 2014 International Symposium on Software Testing and Analysis. Pages 37 – 48. San Jose, USA, 2014. ACM. ISBN: 978-1-4503-2645-2. 
 + 
 +Mehdi Mirzaaghaei,​ Fabrizio Pastore, and Mauro Pezzè. Automatic Test Case Evolution. Software Testing, Verification and Reliability (IF3 2014 1.348). Vol.24 (5). Pages 386 – 411. John Wiley & Sons. 2014. ISSN: 1099-1689, DOI: 10.1002/​stvr.1527. 
 + 
 +Leonardo Mariani, Fabrizio Pastore. MASH: tool integration made easy. Software: Practice and Experience (IF3 2013 1.148). Pages 419–433. John Wiley & Sons, 2013. ISSN: 1097-024X, DOI:​10.1002/​spe.2129. 
 + 
 +Fabrizio Pastore, Leonardo Mariani, Gordon Fraser. CrowdOracles:​ Can the Crowd Solve the Oracle Problem?. In ICST'​13:​ Proceedings of the 6th IEEE International Conference on Software Testing, Verificaton and Validation. Pages 342-351. Luxemburg. 2013. IEEE Computer Society. ​
  
 F. Pastore and L. Mariani and A. Goffi. RADAR: a Tool for Debugging Regression Problems in C/C++ Software. Proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo Track. Pages 1335 – 1338. San Francisco, USA, 2013. IEEE Press. F. Pastore and L. Mariani and A. Goffi. RADAR: a Tool for Debugging Regression Problems in C/C++ Software. Proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo Track. Pages 1335 – 1338. San Francisco, USA, 2013. IEEE Press.
Line 33: Line 93:
  
 Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè. A toolset for Automated Failure Analysis. In proceedings of the 2009 IEEE 31st International Conference on Software Engineering – Volume 00 (Formal Tool Demo paper). Vancouver, Canada. Pages 563-566. 2009. IEEE Computer Society. Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè. A toolset for Automated Failure Analysis. In proceedings of the 2009 IEEE 31st International Conference on Software Engineering – Volume 00 (Formal Tool Demo paper). Vancouver, Canada. Pages 563-566. 2009. IEEE Computer Society.
 +
 +Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè. Dynamic Analysis for Diagnosing Integration Faults. IEEE Transactions on Software Engineering (Impact Factor 3.75), Vol. 37 (4). Pages 486 - 508. IEEE Computer Society, 2011
 +
 +Mehdi Mirzaaghaei,​ Fabrizio Pastore, and Mauro Pezzè. Supporting Test Suite Evolution through Test Cases Adaptation. In ICST'​12:​ Proceedings of the 5th International Conference on Software Testing, Verification and Validation. Montreal, Canada. 2012. IEEE Computer Society. ISBN: 978-1-4577-1906-6.
 +
 +Alessandra Gorla, Mauro Pezzè, Jochen Wuttche, Leonardo Mariani, Fabrizio Pastore. Achieving cost-effective software reliability through self-healing. Computing and Informatics,​ 2. Pages 1001 - 1022. Institute of Informatics,​ Slovak Academy of Sciences, Bratislava, Slovakia. 2010.
  
 Leonardo Mariani, and Fabrizio Pastore. Automated Identification of Failure Causes in System Logs. In proceedings of the 2008 19th International Symposium on Software Reliability Engineering. ISSRE. Seattle, WA, USA . Pages 117-126. 2008. IEEE Computer Society. Leonardo Mariani, and Fabrizio Pastore. Automated Identification of Failure Causes in System Logs. In proceedings of the 2008 19th International Symposium on Software Reliability Engineering. ISSRE. Seattle, WA, USA . Pages 117-126. 2008. IEEE Computer Society.
Line 38: Line 104:
 Domenico Cotroneo, Roberto Pietrantuono,​ Leonardo Mariani, Fabrizio Pastore. Investigation of Failure Causes in Workload- Driven Reliability Testing. In Fourth international Workshop on Software Quality Assurance: in Conjunction with the 6th ESEC/FSE Joint Meeting. SOQUA '07. Dubrovnik, Croatia. Pages 78-85. 2007. ACM. Domenico Cotroneo, Roberto Pietrantuono,​ Leonardo Mariani, Fabrizio Pastore. Investigation of Failure Causes in Workload- Driven Reliability Testing. In Fourth international Workshop on Software Quality Assurance: in Conjunction with the 6th ESEC/FSE Joint Meeting. SOQUA '07. Dubrovnik, Croatia. Pages 78-85. 2007. ACM.
  
-====National workshops====+=====National workshops=====
 Leonardo Mariani, Fabrizio Pastore. Enabling End-User Plug-in Compositions with MASH. In Proceedings of the Sixth Workshop Leonardo Mariani, Fabrizio Pastore. Enabling End-User Plug-in Compositions with MASH. In Proceedings of the Sixth Workshop
 of the Italian Eclipse Community, Eclipse-IT 2011. Milano. 2011.  of the Italian Eclipse Community, Eclipse-IT 2011. Milano. 2011.