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. =====Selected Publications===== 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. To appear. https://orbilu.uni.lu/handle/10993/36987 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. 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, 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. AVA: Supporting Debugging with Failure Interpretations. Proceedings of the International Conference on Software Testing Verification and Validation (ICST) - Tool Demo Track. Pages 416 – 421. Luxemburg. 2013. IEEE Computer Society. 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. Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol and Michael Wahler. Dynamic Analysis of Upgrades in C/C++ Software. In ISSRE'12: Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering. Dallas, USA, 2012. IEEE Computer Society. 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. Leonardo Mariani, Fabrizio Pastore. MASH: A Tool For End- User Plug-In Composition. In ICSE'12: Proceedings of the 34th International Conference on Software Engineering (Formal Tool Demo paper). Zurich, Switzerland. 2012. IEEE Computer Society. Leonardo Mariani, Fabrizio Pastore. Supporting Plug-in Mashes to Ease Tool Integration. In Proceedings of the First International Workshop on Developing Tools as Plug-ins (TOPI) - colocated with the International Conference on Software Engineering (ICSE). Pages 1-4. Waikiki, HI, USA. 2011. ACM. Alessio Gambi, Giovanni Toffetti, Fabrizio Pastore, Mauro Pezzè. A Kriging-based Controller for the Cloud. In ICAC'11: Proceedings of the 8th International Conference on Autonomic Computing (Tool Demo paper). Karlsruhe, Germany. 2011. ACM. Mehdi Mirzaaghaei, Fabrizio Pastore, Mauro Pezzè. Automatically Repairing Test Cases for Evolving Method Declarations. In ICSM'10: Proceedings of 26th IEEE International Conference on Software Maintenance (short paper). Timisoara, Romania. 2010. ACM. Anton Babenko, Leonardo Mariani and Fabrizio Pastore. AVA: Automated Interpretation of Dynamically Detected Anomalies. In ISSTA'09: Proceedings of the 2009 International Symposium on Software Testing and Analysis. Chicago, IL, USA. Pages 237- 248. 2009. ACM. 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. 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===== 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. Mehdi Mirzaaghaei, Fabrizio Pastore. TestCareAssistant:Automatic Repair of Test Case Compilation Errors. In Proceedings of the Sixth Workshop of the Italian Eclipse Community, Eclipse-IT 2011. Milano. 2011. Fabrizio Pastore, Leonardo Mariani, Alberto Goffi: RADAR: Supporting Developers in Debugging Regression Faults. In Proceedings of the Seventh Workshop of the Italian Eclipse Community, Eclipse-IT 2012. Pozzuoli. 2012.