Fabrizio Pastore's publications


Sort by: [Research category] [year]

Years: [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007]

2017

F. Pastore and D. Micucci and L. Mariani. Timed k-Tail: Automatic Inference of Timed Automata. Proceedings of 10th IEEE International Conference on Software Testing Verification and Validation (ICST), 2017

[ PDF ] [ BIBTEX ]

2016

F. Pastore and L. Mariani. Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods Verification and Validation RVE: Runtime Verification and Enforcement the (industrial) application perspective track, 2016

[ PDF ] [ BIBTEX ]

2015

Fabrizio Pastore and Leonardo Mariani. ZoomIn: Discovering Failures by Detecting Wrong Assertions. Proceedings of the International Conference on Software Engineering, 2015

[ PDF ] [ BIBTEX ]

2014

Fabrizio Pastore and Leonardo Mariani and Antti Hyvarinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad. Verification-Aided Regression Testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2014

[ PDF ] [ BIBTEX ]

Daniele Zuddas and Wei Jin and Fabrizio Pastore and Leonardo Mariani and Alessandro Orso. MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions. Proceedings of the International Conference on Automated Software Engineering (ASE), 2014

[ PDF ] [ BIBTEX ]

L. Mariani and D. Micucci and F. Pastore. Early Conflict Detection with Mined Models. Proceedings of the International Symposium on Software Reliability Engineering (ISSRE) Fast Abstract, 2014

[ PDF ] [ BIBTEX ]

2013

F. Pastore and L. Mariani and G. Fraser. CrowdOracles: Can the Crowd Solve the Oracle Problem. Proceedings of the International Conference on Software Testing Verification and Validation (ICST), 2013

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

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

[ PDF ] [ BIBTEX ]

L. Mariani and F. Pastore. MASH: Tool Integration Made Easy. Software: Practice and Experience, 2013, pp. 419-433,

[ PDF ] [ BIBTEX ]

2012

Mehdi Mirzaaghaei and Fabrizio Pastore and Mauro Pezzè. Supporting Test Suite Evolution through Test Case Adaptation. ICST 12: Proceedings of the 5th International Conference on Software Testing Verification and Validation, 2012

[ BIBTEX ]

L. Mariani and F. Pastore. MASH: a Tool For End-User Plug-In Composition. proceedings of the International Conference on Software Engineering (Formal Tool Demo), 2012

[ BIBTEX ]

F. Pastore and L. Mariani and A. Goffi and Manuel Oriol and Michael Wahler. Dynamic Analysis of Upgrades in C/C++ Software. proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2012

[ PDF ] [ BIBTEX ]

2011

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis for Diagnosing Integration Faults. IEEE Transactions on Software Engineering, 2011, pp. 486--508,

[ BIBTEX ]

L. Mariani and F. Pastore and M. Pezzè and M. Santoro. Mining Finite-State Automata with Annotations. CRC Press, Mining Software Specifications: Methodologies and Applications, 2011

[ BIBTEX ]

L. Mariani and F. Pastore. Supporting Plug-in Mashes to Ease Tool Integration. proceedings of the First International Workshop on Developing Tools as Plug-ins (TOPI) - colocated with the International Conference on Software Engineering (ICSE), 2011

[ PDF ] [ BIBTEX ]

Alessio Gambi and Giovanni Toffetti and Fabrizio Pastore and Mauro Pezzè. A Kriging-based Controller for the Cloud. ICAC 11: Proceedings of the 8th International Conference on Autonomic Computing (Demo paper), 2011

[ BIBTEX ]

Mehdi Mirzaaghaei and Fabrizio Pastore. TestCareAssistant: Automatic Repair of Test Case Compilation Errors. Proc. of the Sixth Workshop of the Italian Eclipse Community Eclipse-IT 2011, 2011

[ BIBTEX ]

2010

Alessandra Gorla and Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè and Jochen Wuttke. Achieving Cost-Effective Software Reliability Through Self-Healing. Computing and Informatics, 2010, pp. 1001--1022,

[ BIBTEX ]

Fabrizio Pastore. Automatic Diagnosis of Software Functional Faults by Means of Inferred Behavioral Models. 2010

[ BIBTEX ]

M. Mirzaaghaei and F. Pastore and M. Pezzè. Automatically Repairing Test Cases for Evolving Method Declarations. ICSM 10: Proceedings of 26th IEEE International Conference on Software Maintenance, 2010

[ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. kBehavior: Algorithms and Complexity. 2010

[ PDF ] [ BIBTEX ]

2009

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. A Toolset for Automated Failure Analysis. proceedings of the International Conference on Software Engineering (ICSE) - formal tool Demo, 2009

[ BIBTEX ]

Anton Babenko and Leonardo Mariani and Fabrizio Pastore. AVA: Automated Interpretation of Dynamically Detected Anomalies. ACM, proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2009

[ PDF ] [ BIBTEX ]

2008

Leonardo Mariani and Fabrizio Pastore. Automated Identification of Failure Causes in System Logs (ISSRE). IEEE Computer Society, proceedings of the International Symposium on Software Reliability Engineering, 2008

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis For Integration Faults Localization. 2008

[ PDF ] [ BIBTEX ]

2007

Domenico Cotroneo and Roberto Pietrantuono and Leonardo Mariani and Fabrizio Pastore. Investigation of failure causes in workload-driven reliability testing. ACM, Fourth international workshop on Software quality assurance (SOQUA 07), 2007, pp. 78--85,

[ PDF ] [ BIBTEX ]