Differences

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

--- publications [2013/11/30 01:20]
fabrizio created
+++ publications [2020/08/31 11:13] (current)
fabrizio
@@ Line 1: / Line 1: @@
-====== Tools ======
-This page lists the tools I developed and maintain.
+An updated list of (downlodable) publications is available on [[https://orbilu.uni.lu/simple-search?query=fabrizio+pastore|Orbi.uni.lu]].
-====AVA====
+Click [[http://goo.gl/W95KtF|here]] to access my Google Scholar page.
-Automata Violations Analyzer, AVA, is a technique to automatically produce candidate interpretations of software failures from anomalies identified by anomaly detection techniques. Interpretations capture the rationale of the differences between legal and failing executions with user understandable patterns that simplify identification of failure causes. Empirical validation conducted both with synthetic cases and third-party systems showed that AVA produces useful interpretations.
-Click here for more information about AVA
+=====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=====
-BCT
+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
-BCT is a tool that automatically identifies anomalous events that likely caused failures, filters the possible false positives, and presents the resulting data by building views that show chains of cause-effect relations, i.e., views that show when anomalous events are caused by other anomalous events. BCT comes with a library that provides its core functionality and an Eclipse plugin that provides management and visualization facilities.
+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.
-Click here for more information about BCT
+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.
-KLFA
-KLFA is a tool that automatically analyzes log files and retrieves important information to identify failure causes. KLFA automatically identifies dependencies between events and values in logs corresponding to legal executions, generates models of legal behaviors and compares log files collected during failing executions with the generated models to detect anomalous event sequences that are presented to users.
+=====Peer Reviewed Publications=====
-Click here for more information about KLFA
+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).
-MASH
+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.
-The majority of IDEs implement a concept of plug-in that nicely supports the integration of tools within the IDEs. Plug-ins dramatically simplify the structural integration of multiple tools, but provide little support to the design of the dynamic of the integration, which must be entirely coded by programmers from plug-ins’ API. Manually integrating plug-ins is costly, complex and requires a deep understanding of the underlying environment. The implementation of tools as plug-ins and the integration of the results produced by different plug-ins are still difficult, expensive and error-prone activities. In our vision, IDE users must be able to execute plug-ins and integrate their results by designing workflows that can be persisted, executed and re-used in other workflows. MASH is an Eclipse plug-in that enable users to compose the functionality provided by different plug-ins at runtime, by drawing a workflow in their workspace.
+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.
-Click here for more information about MASH
+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.
-RADAR
+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.
-RADAR (Regression Analysis with Diff And Recording) is a technique for debugging regression faults. RADAR combines monitoring, model inference and anomaly detection into a solution for the automatic identification of the anomalous behaviors that caused a regression failure. RADAR is implemented as an Eclipse plug-in and allows developers to analyze failures directly in the Eclipse IDE. In particular, RADAR can visualize the chain of anomalous behaviors that caused a failure, and provide developers a rich set of dynamic data that can be used to understand the context of the failure.
+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.
-Future versions of RADAR will leverage Grammatech CodeSurfer static analysis capabilities to precisely pinpoint the code changes that lead to the regression.
+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.
-Click here for more information about RADAR
+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. Hyvä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 Pezzè. 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 Pezzè. 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 Pezzè. 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 Pezzè. 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 Pezzè. 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 Pezzè, 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.