default search action
Fabrizio Pastore
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Mohammed Oualid Attaoui
, Hazem M. Fahmy
Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches. ACM Trans. Softw. Eng. Methodol. 33(5): 130:1-130:48 (2024) - [j21]Chanh Duc Ngo
Testing Updated Apps by Adapting Learned Models. ACM Trans. Softw. Eng. Methodol. 33(6): 155 (2024) - [c42]Mohammed Oualid Attaoui
SAFE: Safety Analysis and Retraining of DNNs. ICSE Companion 2024: 74-78 - [c41]Jaekwon Lee, Enrico Viganò, Fabrizio Pastore, Lionel C. Briand:
MOTIF: A tool for Mutation Testing with Fuzzing. ICST 2024: 451-453 - [c40]Seung Yeob Shin
Towards Generating Executable Metamorphic Relations Using Large Language Models. QUATIC 2024: 126-141 - [i23]Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu:
Towards Generating Executable Metamorphic Relations Using Large Language Models. CoRR abs/2401.17019 (2024) - [i22]Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand:
AIM: Automated Input Set Minimization for Metamorphic Security Testing. CoRR abs/2402.10773 (2024) - [i21]Jaekwon Lee, Enrico Viganò, Fabrizio Pastore, Lionel C. Briand:
MOTIF: A tool for Mutation Testing with Fuzzing. CoRR abs/2406.02398 (2024) - [i20]Mohammed Oualid Attaoui, Fabrizio Pastore, Lionel C. Briand:
Search-based DNN Testing and Retraining with GAN-enhanced Simulations. CoRR abs/2406.13359 (2024) - 2023
- [j20]Jahanzaib Malik
An empirical study of vulnerabilities in edge frameworks to support security testing improvement. Empir. Softw. Eng. 28(4): 99 (2023) - [j19]Mohammed Walid Attaoui
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering. ACM Trans. Softw. Eng. Methodol. 32(3): 79:1-79:40 (2023) - [j18]Hazem M. Fahmy
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems. ACM Trans. Softw. Eng. Methodol. 32(4): 104:1-104:47 (2023) - [j17]Enrico Viganò, Oscar Cornejo
Data-Driven Mutation Analysis for Cyber-Physical Systems. IEEE Trans. Software Eng. 49(4): 2182-2201 (2023) - [j16]Nazanin Bayati Chaleshtari
Metamorphic Testing for Web System Security. IEEE Trans. Software Eng. 49(6): 3430-3471 (2023) - [c39]Enrico Viganò, Oscar Cornejo, Fabrizio Pastore
DaMAT: A Data-driven Mutation Analysis Tool. ICSE Companion 2023: 165-169 - [c38]Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore
Fuzzing for CPS Mutation Testing. ASE 2023: 1377-1389 - [i19]Mohammed Oualid Attaoui, Hazem M. Fahmy
DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches. CoRR abs/2301.13506 (2023) - [i18]Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand:
Testing Updated Apps by Adapting Learned Models. CoRR abs/2308.05549 (2023) - [i17]Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand:
Fuzzing for CPS Mutation Testing. CoRR abs/2308.07949 (2023) - 2022
- [j15]Chanh Duc Ngo, Fabrizio Pastore
Automated, Cost-effective, and Update-driven App Testing. ACM Trans. Softw. Eng. Methodol. 31(4): 61:1-61:51 (2022) - [j14]Chunhui Wang, Fabrizio Pastore
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach. IEEE Trans. Software Eng. 48(2): 585-616 (2022) - [j13]Fabrizio Pastore
TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Trans. Software Eng. 48(2): 617-636 (2022) - [j12]Oscar Cornejo
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. IEEE Trans. Software Eng. 48(10): 3913-3939 (2022) - [c37]Hazem M. Fahmy
HUDD: A tool to debug DNNs for safety analysis. ICSE-Companion 2022: 100-104 - [c36]Oscar Cornejo, Fabrizio Pastore
MASS: A tool for Mutation Analysis of Space CPS. ICSE-Companion 2022: 134-138 - [c35]Fabrizio Pastore, Lingming Zhang:
Message from the Program Co-Chairs: ISSRE 2022. ISSRE 2022: xiv - [c34]Chanh Duc Ngo, Fabrizio Pastore
ATUA: an update-driven app testing tool. ISSTA 2022: 765-768 - [i16]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 abs/2201.05077 (2022) - [i15]Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand:
Data-driven Mutation Analysis for Cyber-Physical Systems. CoRR abs/2201.10160 (2022) - [i14]Hazem M. Fahmy
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems. CoRR abs/2204.00480 (2022) - [i13]Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil, Lionel C. Briand:
Metamorphic Testing for Web System Security. CoRR abs/2208.09505 (2022) - [i12]Hazem M. Fahmy
HUDD: A tool to debug DNNs for safety analysis. CoRR abs/2210.08356 (2022) - 2021
- [j11]Hazem M. Fahmy
Supporting Deep Neural Network Safety Analysis and Retraining Through Heatmap-Based Unsupervised Learning. IEEE Trans. Reliab. 70(4): 1641-1657 (2021) - [d6]Hazem M. Fahmy
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. Version 2. Zenodo, 2021 [all versions] - [d5]Hazem M. Fahmy
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. Version 1. Zenodo, 2021 [all versions] - [d4]Phu Xuan Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. Version 4. Zenodo, 2021 [all versions] - [d3]Phu Xuan Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. Version 1. Zenodo, 2021 [all versions] - [d2]Phu Xuan Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. Version 2. Zenodo, 2021 [all versions] - [d1]Phu Xuan Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. Version 3. Zenodo, 2021 [all versions] - [i11]Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand:
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. CoRR abs/2101.05111 (2021) - 2020
- [j10]Ines Hajri, Arda Goknil, Fabrizio Pastore
Automating system test case classification and prioritization for use case-driven testing in product lines. Empir. Softw. Eng. 25(5): 3711-3769 (2020) - [c33]Phu X. Mai, Arda Goknil, Fabrizio Pastore
SMRL: a metamorphic security testing tool for web systems. ICSE (Companion Volume) 2020: 9-12 - [c32]Phu X. Mai, Fabrizio Pastore
Metamorphic Security Testing for Web Systems. ICST 2020: 186-197 - [c31]Ezio Bartocci
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572 - [i10]Hazem M. Fahmy
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. CoRR abs/2002.00863 (2020) - [i9]Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand:
Automated, Cost-effective, and Update-driven App Testing. CoRR abs/2012.02471 (2020)
2010 – 2019
- 2019
- [j9]Chunhui Wang, Fabrizio Pastore
Oracles for Testing Software Timeliness with Uncertainty. ACM Trans. Softw. Eng. Methodol. 28(1): 1:1-1:30 (2019) - [c30]Phu X. Mai
MCP: a security testing tool driven by requirements. ICSE (Companion Volume) 2019: 55-58 - [c29]Mauricio Alférez, Fabrizio Pastore
Bridging the Gap between Requirements Modeling and Behavior-Driven Development. MoDELS 2019: 239-249 - [i8]Ines Hajri, Arda Goknil, Fabrizio Pastore, Lionel C. Briand:
Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. CoRR abs/1905.11699 (2019) - [i7]Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand:
Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach. CoRR abs/1907.08490 (2019) - [i6]Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand:
Metamorphic Security Testing for Web Systems. CoRR abs/1912.05278 (2019) - 2018
- [j8]Phu X. Mai
Modeling Security and Privacy Requirements: a Use Case-Driven Approach. Inf. Softw. Technol. 100: 165-182 (2018) - [j7]Victor R. Basili, Lionel C. Briand, Domenico Bianculli
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35(5): 44-49 (2018) - [c28]Chunhui Wang, Fabrizio Pastore
Automated Generation of Constraints from Use Case Specifications to Support System Testing. ICST 2018: 23-33 - [c27]Phu X. Mai
A Natural Language Programming Approach for Requirements-Based Security Testing. ISSRE 2018: 58-69 - 2017
- [j6]Lionel C. Briand, Domenico Bianculli
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34(5): 72-75 (2017) - [j5]Daniel Di Nardo, Fabrizio Pastore
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes. ACM Trans. Softw. Eng. Methodol. 26(1): 1:1-1:40 (2017) - [c26]Chunhui Wang, Fabrizio Pastore
System Testing of Timing Requirements Based on Use Cases and Timed Automata. ICST 2017: 299-309 - [c25]Fabrizio Pastore
Timed k-Tail: Automatic Inference of Timed Automata. ICST 2017: 401-411 - [c24]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore
An Exploratory Study of Field Failures. ISSRE 2017: 67-77 - [c23]Fabrizio Pastore
BDCI: behavioral driven conflict identification. ESEC/SIGSOFT FSE 2017: 570-581 - [c22]Fabrizio Pastore, Leonardo Mariani:
VART: a tool for the automatic detection of regression faults. ESEC/SIGSOFT FSE 2017: 964-968 - [i5]Fabrizio Pastore, Daniela Micucci, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. CoRR abs/1705.08399 (2017) - [i4]Fabrizio Pastore, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. CoRR abs/1705.08418 (2017) - [i3]Fabrizio Pastore, Leonardo Mariani, Daniela Micucci:
BDCI: Behavioral Driven Conflict Identification. CoRR abs/1708.01650 (2017) - [i2]Fabrizio Pastore, Leonardo Mariani:
VART: A Tool for the Automatic Detection of Regression Faults. CoRR abs/1708.02052 (2017) - [i1]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. CoRR abs/1708.09494 (2017) - 2016
- [c21]Fabrizio Pastore
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. ISoLA (2) 2016: 388-393 - 2015
- [c20]Fabrizio Pastore
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ICSE (1) 2015: 66-76 - [c19]Daniel Di Nardo, Fabrizio Pastore
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis. ICST 2015: 1-10 - [c18]Chunhui Wang, Fabrizio Pastore
Automatic generation of system test cases from use case specifications. ISSTA 2015: 385-396 - [c17]Daniel Di Nardo, Fabrizio Pastore
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T). ASE 2015: 126-137 - [c16]Chunhui Wang, Fabrizio Pastore
UMTG: a toolset to automatically generate system test cases from use case specifications. ESEC/SIGSOFT FSE 2015: 942-945 - [p2]Fabrizio Pastore
RADAR: Dynamic Analysis of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 85-105 - [p1]Fabrizio Pastore
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - 2014
- [j4]Mehdi MirzaAghaei, Fabrizio Pastore
Automatic test case evolution. Softw. Test. Verification Reliab. 24(5): 386-411 (2014) - [c15]Leonardo Mariani
Early Conflict Detection with Mined Models. ISSRE Workshops 2014: 126-127 - [c14]Fabrizio Pastore
Verification-aided regression testing. ISSTA 2014: 37-48 - [c13]Daniele Zuddas, Wei Jin, Fabrizio Pastore
MIMIC: locating and understanding bugs by analyzing mimicked executions. ASE 2014: 815-826 - [e1]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann:
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2857-9 [contents] - 2013
- [j3]Leonardo Mariani
MASH: tool integration made easy. Softw. Pract. Exp. 43(4): 419-433 (2013) - [c12]Fabrizio Pastore
RADAR: a tool for debugging regression problems in C/C++ software. ICSE 2013: 1335-1338 - [c11]Fabrizio Pastore
CrowdOracles: Can the Crowd Solve the Oracle Problem? ICST 2013: 342-351 - [c10]Fabrizio Pastore
AVA: Supporting Debugging with Failure Interpretations. ICST 2013: 416-421 - 2012
- [c9]Leonardo Mariani
MASH: A tool for end-user plug-in composition. ICSE 2012: 1387-1390 - [c8]Mehdi MirzaAghaei, Fabrizio Pastore
Supporting Test Suite Evolution through Test Case Adaptation. ICST 2012: 231-240 - [c7]Fabrizio Pastore
Dynamic Analysis of Upgrades in C/C++ Software. ISSRE 2012: 91-100 - 2011
- [j2]Leonardo Mariani
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011) - [c6]Leonardo Mariani
Supporting plug-in mashes to ease tool integration. TOPI@ICSE 2011: 1-4 - 2010
- [j1]Alessandra Gorla, Mauro Pezzè
Achieving Cost-Effective Software Reliability Through Self-Healing. Comput. Informatics 29(1): 93-115 (2010) - [c5]Mehdi MirzaAghaei, Fabrizio Pastore
Automatically repairing test cases for evolving method declarations. ICSM 2010: 1-5
2000 – 2009
- 2009
- [c4]Leonardo Mariani
A toolset for automated failure analysis. ICSE 2009: 563-566 - [c3]Anton Babenko, Leonardo Mariani
AVA: automated interpretation of dynamically detected anomalies. ISSTA 2009: 237-248 - 2008
- [c2]Leonardo Mariani
Automated Identification of Failure Causes in System Logs. ISSRE 2008: 117-126 - 2007
- [c1]Domenico Cotroneo, Roberto Pietrantuono
Investigation of failure causes in workload-driven reliability testing. SOQUA 2007: 78-85
Coauthor Index
Lionel C. Briand
aka: Lionel Claude Briand
aka: Lionel Claude Briand
[j22] [j21] [c42] [c41] [i22] [i21] [i20] [j19] [j18] [j17] [j16] [c39] [c38] [i19] [i18] [i17] [j15] [j14] [j12] [c37] [c36] [c34] [i16] [i15] [i14] [i13] [i12] [j11] [d6] [d5] [d4] [d3] [d2] [d1] [i11] [j10] [c33] [c32] [i10] [i9] [j9] [c30] [c29] [i8] [i7] [i6] [j8] [j7] [c28] [c27] [j6] [j5] [c26] [c19] [c18] [c17] [c16]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: