Fabrizio Pastore

Orcid: 0000-0003-3541-3641

According to our database1, Fabrizio Pastore authored at least 75 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
AIM: Automated Input Set Minimization for Metamorphic Security Testing.
CoRR, 2024

Towards Generating Executable Metamorphic Relations Using Large Language Models.
CoRR, 2024

2023
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems.
ACM Trans. Softw. Eng. Methodol., July, 2023

An empirical study of vulnerabilities in edge frameworks to support security testing improvement.
Empir. Softw. Eng., July, 2023

Metamorphic Testing for Web System Security.
IEEE Trans. Software Eng., June, 2023

Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering.
ACM Trans. Softw. Eng. Methodol., May, 2023

Data-Driven Mutation Analysis for Cyber-Physical Systems.
IEEE Trans. Software Eng., April, 2023

Testing Updated Apps by Adapting Learned Models.
CoRR, 2023

DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches.
CoRR, 2023

Fuzzing for CPS Mutation Testing.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

DaMAT: A Data-driven Mutation Analysis Tool.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach.
IEEE Trans. Software Eng., 2022

TkT: Automatic Inference of Timed and Extended Pushdown Automata.
IEEE Trans. Software Eng., 2022

Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain.
IEEE Trans. Software Eng., 2022

Automated, Cost-effective, and Update-driven App Testing.
ACM Trans. Softw. Eng. Methodol., 2022

Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems.
CoRR, 2022

ATUA: an update-driven app testing tool.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Message from the Program Co-Chairs: ISSRE 2022.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

HUDD: A tool to debug DNNs for safety analysis.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

MASS: A tool for Mutation Analysis of Space CPS.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021
Metamorphic Security Testing for Web Systems.
Dataset, May, 2021

Metamorphic Security Testing for Web Systems.
Dataset, May, 2021

Metamorphic Security Testing for Web Systems.
Dataset, May, 2021

Metamorphic Security Testing for Web Systems.
Dataset, May, 2021

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
Dataset, April, 2021

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
Dataset, April, 2021

Supporting Deep Neural Network Safety Analysis and Retraining Through Heatmap-Based Unsupervised Learning.
IEEE Trans. Reliab., 2021

2020
Automating system test case classification and prioritization for use case-driven testing in product lines.
Empir. Softw. Eng., 2020

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
CoRR, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Metamorphic Security Testing for Web Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

SMRL: a metamorphic security testing tool for web systems.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019
Oracles for Testing Software Timeliness with Uncertainty.
ACM Trans. Softw. Eng. Methodol., 2019

Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach.
CoRR, 2019

Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines.
CoRR, 2019

Bridging the Gap between Requirements Modeling and Behavior-Driven Development.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

MCP: a security testing tool driven by requirements.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.
IEEE Softw., 2018

Modeling Security and Privacy Requirements: a Use Case-Driven Approach.
Inf. Softw. Technol., 2018

A Natural Language Programming Approach for Requirements-Based Security Testing.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Automated Generation of Constraints from Use Case Specifications to Support System Testing.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes.
ACM Trans. Softw. Eng. Methodol., 2017

The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.
IEEE Softw., 2017

BDCI: behavioral driven conflict identification.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

VART: a tool for the automatic detection of regression faults.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Exploratory Study of Field Failures.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

System Testing of Timing Requirements Based on Use Cases and Timed Automata.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Timed k-Tail: Automatic Inference of Timed Automata.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
UMTG: a toolset to automatically generate system test cases from use case specifications.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automatic generation of system test cases from use case specifications.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

ZoomIn: Discovering Failures by Detecting Wrong Assertions.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regression Checking of Changes in C Software.
Proceedings of the Validation of Evolving Software, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the Validation of Evolving Software, 2015

2014
Automatic test case evolution.
Softw. Test. Verification Reliab., 2014

MIMIC: locating and understanding bugs by analyzing mimicked executions.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Verification-aided regression testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Early Conflict Detection with Mined Models.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013
MASH: tool integration made easy.
Softw. Pract. Exp., 2013

CrowdOracles: Can the Crowd Solve the Oracle Problem?
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

AVA: Supporting Debugging with Failure Interpretations.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

RADAR: a tool for debugging regression problems in C/C++ software.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Supporting Test Suite Evolution through Test Case Adaptation.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

MASH: A tool for end-user plug-in composition.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Dynamic Analysis for Diagnosing Integration Faults.
IEEE Trans. Software Eng., 2011

Supporting plug-in mashes to ease tool integration.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2010
Achieving Cost-Effective Software Reliability Through Self-Healing.
Comput. Informatics, 2010

Automatically repairing test cases for evolving method declarations.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
AVA: automated interpretation of dynamically detected anomalies.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

A toolset for automated failure analysis.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Automated Identification of Failure Causes in System Logs.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007
Investigation of failure causes in workload-driven reliability testing.
Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007


  Loading...