This is an old revision of the document!


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.

International Journals

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

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, Fabrizio Pastore, Mauro Pezzè, Mauro Santoro. Mining Finite-State Automata with Annotations. Mining Software Specifications: Methodologies and Applications. CRC Press, 2011.

International Conferences and Workshops

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, 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.