Pastore, Fabrizio
- Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and\n Results in the Space Domain
2021/01/13 by Oscar Cornejo, Fabrizio Pastore, Cornejo, Oscar +3 · 2 citations
Computer Science · #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Software System Performance and Reliability
- Towards Generating Executable Metamorphic Relations Using Large Language Models
2024/01/30 by Seung Yeob Shin, Shin, Seung Yeob, Fabrizio Pastore +5 · 3 citations
Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Topic Modeling
- Metamorphic Testing for Web System Security
2022/08/19 by Nazanin Bayati Chaleshtari, Chaleshtari, Nazanin Bayati, Fabrizio Pastore +5 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Web Application Security Vulnerabilities
- Timed k-Tail: Automatic Inference of Timed Automata
2017/05/23 by Pastore, Fabrizio, Micucci, Daniela, Mariani, Leonardo · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- BDCI: Behavioral Driven Conflict Identification
2017/08/04 by Pastore, Fabrizio, Mariani, Leonardo, Micucci, Daniela · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- An Exploratory Study of Field Failures
2017/08/30 by Gazzola, Luca, Mariani, Leonardo, Pastore, Fabrizio +1 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Data-driven Mutation Analysis for Cyber-Physical Systems
2022/01/25 by Enrico Viganò, Oscar Cornejo, Viganò, Enrico +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Search-based DNN Testing and Retraining with GAN-enhanced Simulations
2024/06/19 by Attaoui, Mohammed Oualid, Pastore, Fabrizio, Briand, Lionel · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
2025/04/07 by Seung Yeob Shin, Shin, Seung Yeob, Fabrizio Pastore +3 · 2 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Spreadsheets and End-User Computing #Quantum Mechanics and Applications