Fabrizio Pastore

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 61

Top Topics

Safety Analysis

Mutation Testing

Software Engineering

Top Venues

ACM Trans. Softw. Eng. Methodol.

IEEE Trans. Software Eng.

Publications

Mohammed Oualid Attaoui, Fabrizio Pastore, Lionel C. Briand
Search-based DNN Testing and Retraining with GAN-enhanced Simulations. CoRR (2024)
Mohammed Oualid Attaoui, Fabrizio Pastore, Lionel C. Briand
SAFE: Safety Analysis and Retraining of DNNs. ICSE Companion (2024)
Mohammed Oualid Attaoui, Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Jaekwon Lee, Enrico Viganò, Fabrizio Pastore, Lionel C. Briand
MOTIF: A tool for Mutation Testing with Fuzzing. CoRR (2024)
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu
Towards Generating Executable Metamorphic Relations Using Large Language Models. CoRR (2024)
Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand
AIM: Automated Input Set Minimization for Metamorphic Security Testing. CoRR (2024)
Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand
Testing Updated Apps by Adapting Learned Models. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand, Thomas Stifter
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Metamorphic Testing for Web System Security. IEEE Trans. Software Eng. 49 (6) (2023)
Jahanzaib Malik, Fabrizio Pastore
An empirical study of vulnerabilities in edge frameworks to support security testing improvement. Empir. Softw. Eng. 28 (4) (2023)
Mohammed Walid Attaoui, Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand
Testing Updated Apps by Adapting Learned Models. CoRR (2023)
Mohammed Oualid Attaoui, Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches. CoRR (2023)
Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
DaMAT: A Data-driven Mutation Analysis Tool. ICSE Companion (2023)
Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Data-Driven Mutation Analysis for Cyber-Physical Systems. IEEE Trans. Software Eng. 49 (4) (2023)
Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Fuzzing for CPS Mutation Testing. CoRR (2023)
Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Fuzzing for CPS Mutation Testing. ASE (2023)
Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand
ATUA: an update-driven app testing tool. ISSTA (2022)
Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
MASS: A tool for Mutation Analysis of Space CPS. ICSE-Companion (2022)
Fabrizio Pastore, Lingming Zhang
Message from the Program Co-Chairs: ISSRE 2022. ISSRE (2022)
Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
HUDD: A tool to debug DNNs for safety analysis. CoRR (2022)
Fabrizio Pastore, Daniela Micucci, Michell Guzman, Leonardo Mariani
TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Trans. Software Eng. 48 (2) (2022)
Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Data-driven Mutation Analysis for Cyber-Physical Systems. CoRR (2022)
Mohammed Oualid Attaoui, Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering. CoRR (2022)
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach. IEEE Trans. Software Eng. 48 (2) (2022)
Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
HUDD: A tool to debug DNNs for safety analysis. ICSE-Companion (2022)
Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems. CoRR (2022)
Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Metamorphic Testing for Web System Security. CoRR (2022)
Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. IEEE Trans. Software Eng. 48 (10) (2022)
Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand
Automated, Cost-effective, and Update-driven App Testing. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. CoRR (2021)
Hazem M. Fahmy, Fabrizio Pastore, Mojtaba Bagherzadeh, Lionel C. Briand
Supporting Deep Neural Network Safety Analysis and Retraining Through Heatmap-Based Unsupervised Learning. IEEE Trans. Reliab. 70 (4) (2021)
Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand
Automated, Cost-effective, and Update-driven App Testing. CoRR (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA (2020)
Phu X. Mai, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
SMRL: a metamorphic security testing tool for web systems. ICSE (Companion Volume) (2020)
Hazem M. Fahmy, Mojtaba Bagherzadeh, Fabrizio Pastore, Lionel C. Briand
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. CoRR (2020)
Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Metamorphic Security Testing for Web Systems. ICST (2020)
Ines Hajri, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Automating system test case classification and prioritization for use case-driven testing in product lines. Empir. Softw. Eng. 25 (5) (2020)
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach. CoRR (2019)
Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Metamorphic Security Testing for Web Systems. CoRR (2019)
Chunhui Wang, Fabrizio Pastore, Lionel C. Briand
Oracles for Testing Software Timeliness with Uncertainty. ACM Trans. Softw. Eng. Methodol. 28 (1) (2019)
Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
MCP: a security testing tool driven by requirements. ICSE (Companion Volume) (2019)
Mauricio Alférez, Fabrizio Pastore, Mehrdad Sabetzadeh, Lionel C. Briand, Jean-Richard Riccardi
Bridging the Gap between Requirements Modeling and Behavior-Driven Development. MoDELS (2019)
Ines Hajri, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. CoRR (2019)
Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35 (5) (2018)
Phu X. Mai, Arda Goknil, Lwin Khin Shar, Fabrizio Pastore, Lionel C. Briand, Shaban Shaame
Modeling Security and Privacy Requirements: a Use Case-Driven Approach. Inf. Softw. Technol. 100 (2018)
Chunhui Wang, Fabrizio Pastore, Lionel C. Briand
Automated Generation of Constraints from Use Case Specifications to Support System Testing. ICST (2018)
Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
A Natural Language Programming Approach for Requirements-Based Security Testing. ISSRE (2018)
Fabrizio Pastore, Leonardo Mariani
VART: a tool for the automatic detection of regression faults. ESEC/SIGSOFT FSE (2017)
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
BDCI: Behavioral Driven Conflict Identification. CoRR (2017)
Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34 (5) (2017)
Fabrizio Pastore, Leonardo Mariani
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. CoRR (2017)
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
An Exploratory Study of Field Failures. ISSRE (2017)
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Timed k-Tail: Automatic Inference of Timed Automata. CoRR (2017)
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Timed k-Tail: Automatic Inference of Timed Automata. ICST (2017)
Daniel Di Nardo, Fabrizio Pastore, Lionel C. Briand
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes. ACM Trans. Softw. Eng. Methodol. 26 (1) (2017)
Chunhui Wang, Fabrizio Pastore, Lionel C. Briand
System Testing of Timing Requirements Based on Use Cases and Timed Automata. ICST (2017)
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
BDCI: behavioral driven conflict identification. ESEC/SIGSOFT FSE (2017)
Fabrizio Pastore, Leonardo Mariani
VART: A Tool for the Automatic Detection of Regression Faults. CoRR (2017)
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
An Exploratory Study of Field Failures. CoRR (2017)
Fabrizio Pastore, Leonardo Mariani
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. ISoLA (2) (2016)
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal
Automatic generation of system test cases from use case specifications. ISSTA (2015)
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal
UMTG: a toolset to automatically generate system test cases from use case specifications. ESEC/SIGSOFT FSE (2015)
Daniel Di Nardo, Fabrizio Pastore, Andrea Arcuri, Lionel C. Briand
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T). ASE (2015)
Daniel Di Nardo, Fabrizio Pastore, Lionel C. Briand
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis. ICST (2015)
Fabrizio Pastore, Leonardo Mariani
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ICSE (1) (2015)
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
Verification-aided regression testing. ISSTA (2014)
Leonardo Mariani, Daniela Micucci, Fabrizio Pastore
Early Conflict Detection with Mined Models. ISSRE Workshops (2014)
Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso
MIMIC: locating and understanding bugs by analyzing mimicked executions. ASE (2014)
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
Automatic test case evolution. Softw. Test. Verification Reliab. 24 (5) (2014)
Leonardo Mariani, Fabrizio Pastore
MASH: tool integration made easy. Softw. Pract. Exp. 43 (4) (2013)
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi
RADAR: a tool for debugging regression problems in C/C++ software. ICSE (2013)
Fabrizio Pastore, Leonardo Mariani, Gordon Fraser
CrowdOracles: Can the Crowd Solve the Oracle Problem? ICST (2013)
Fabrizio Pastore, Leonardo Mariani
AVA: Supporting Debugging with Failure Interpretations. ICST (2013)
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler
Dynamic Analysis of Upgrades in C/C++ Software. ISSRE (2012)
Leonardo Mariani, Fabrizio Pastore
MASH: A tool for end-user plug-in composition. ICSE (2012)
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
Supporting Test Suite Evolution through Test Case Adaptation. ICST (2012)
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37 (4) (2011)
Leonardo Mariani, Fabrizio Pastore
Supporting plug-in mashes to ease tool integration. TOPI@ICSE (2011)
Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore
Achieving Cost-Effective Software Reliability Through Self-Healing. Comput. Informatics 29 (1) (2010)
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
Automatically repairing test cases for evolving method declarations. ICSM (2010)
Anton Babenko, Leonardo Mariani, Fabrizio Pastore
AVA: automated interpretation of dynamically detected anomalies. ISSTA (2009)
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
A toolset for automated failure analysis. ICSE (2009)
Leonardo Mariani, Fabrizio Pastore
Automated Identification of Failure Causes in System Logs. ISSRE (2008)
Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore
Investigation of failure causes in workload-driven reliability testing. SOQUA (2007)