Dr. Fabrizio Pastore
|
|
||||
| Fakultät oder Zentrum | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SVV | ||||
| Postadresse |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Büroadresse | JFK Building, E01-104 | ||||
|
|||||
| Telefon | (+352) 46 66 44 5892 | ||||
Fabrizio PASTORE received his PhD degree from the University of Milano - Bicocca, Italy, in 2010. His research interests are in software engineering, focusing on software testing, and program analysis. Fabrizio Pastore has worked as Assistant professor at the University of Milano - Bicocca, as Research associate at SnT, and as Post-doctoral researcher at the University of Lugano (Switzerland). Fabrizio joined the Software Verification and Validation group – V&V Lab headed by Prof. Lionel Briand.
Last updated on: Mittwoch, den 10. Mai 2017
In press
Metamorphic Testing for Web System Security; ; ;
in IEEE Transactions on Software Engineering (in press)
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
DaMAT: A Data-driven Mutation Analysis Tool; ; ;
in Proceedings of the 45th International Conference on Software Engineering (ICSE ’23) (in press)
Data-driven Mutation Analysis for Cyber-Physical Systems; ; ;
in IEEE Transactions on Software Engineering (in press)
2022
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain; ;
in IEEE Transactions on Software Engineering (2022), 48(10), 39133939
MASS: A tool for Mutation Analysis of Space CPS; ;
in 2022 IEEE/ACM 44st International Conference on Software Engineering (2022, May)
HUDD: A tool to debug DNNs for safety analysis; ;
in 2022 IEEE/ACM 44th International Conference on Software Engineering (2022, May)
Automated, Cost-effective, and Update-driven App Testing; ;
in ACM Transactions on Software Engineering and Methodology (2022), 31(4), 61
ATUA: an update-driven app testing tool; ;
in The 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (2022, July)
TkT: Automatic Inference of Timed and Extended Pushdown Automata; ; ;
in IEEE Transactions on Software Engineering (2022), 48(2), 617-636
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach; ; ;
in IEEE Transactions on Software Engineering (2022), 48(2), 585-616
2021
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning; ; ;
in IEEE Transactions on Reliability (2021), 70(4), 1641-1657
2020
CPSDebug: a tool for explanation of failures in cyber-physical systems; ; ; ; ;
in CPSDebug: a tool for explanation of failures in cyber-physical systems (2020)
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines; ; ;
in Empirical Software Engineering (2020), 25(5), 37113769
SMRL: A Metamorphic Security Testing Tool for Web Systems; ; ;
in 2020 IEEE/ACM 42nd International Conference on Software Engineering (2020)
Metamorphic Security Testing for Web Systems; ; ;
in IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 (2020, March)
2019
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, September)
MCP: A Security Testing Tool Driven by Requirements; ; ;
in 2019 IEEE/ACM 41st International Conference on Software Engineering (2019, May)
Oracles for Testing Software Timeliness with Uncertainty; ;
in ACM Transactions on Software Engineering and Methodology (2019), 28(1),
2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact; ; ; ; ;
in IEEE Software (2018), 35(5), 44-49
Modeling Security and Privacy Requirements: a Use Case-Driven Approach; ; ; ; ;
in Information and Software Technology (2018), 100
A Natural Language Programming Approach for Requirements-based Security Testing; ; ;
in 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018) (2018)
Automated Generation of Constraints from Use Case Specifications to Support System Testing; ;
in Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (2018)
2017
The Case for Context-Driven Software Engineering Research; ; ; ;
in IEEE Software (2017), 34(5), 72-75
System Testing of Timing Requirements based on Use Cases and Timed Automata; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017 (2017, March 13)
2015
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 (2015, November)
Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis; ;
in Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on (2015, April)
ZoomIn: Discovering Failures by Detecting Wrong Assertions;
in Proceedings of the 37th International Conference on Software Engineering (ICSE) (2015, May)
UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications; ; ; ;
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)
Automatic Generation of System Test Cases from Use Case Specifications; ; ; ;
in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA' 15), July 2015, USA (2015, July)
