Profil

PASTORE Fabrizio

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

ORCID
0000-0003-3541-3641
Main Referenced Co-authors
BRIAND, Lionel  (30)
GÖKNIL, Arda  (6)
WANG, Chunhui  (6)
FAHMY, Hazem  (5)
MAI, Xuan Phu  (5)
Main Referenced Keywords
DNN Explanation (4); AI (3); Debugging (3); DNN Functional Safety Analysis (3); Metamorphic Testing (3);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (24)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (10)
ULHPC - University of Luxembourg: High Performance Computing (3)
Main Referenced Disciplines
Computer science (37)

Publications (total 37)

The most downloaded
891 downloads
MAI, X. P., PASTORE, F., Göknil, A., & BRIAND, L. (2018). A Natural Language Programming Approach for Requirements-based Security Testing. In 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). IEEE. doi:DOI:10.1109/1SSRE.2018.00017 https://hdl.handle.net/10993/36301

The most cited

89 citations (Scopus®)

WANG, C., PASTORE, F., Göknil, A., BRIAND, L., & Iqbal, Z. (2015). 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. https://hdl.handle.net/10993/21147

ATTAOUI, M. O., PASTORE, F., & Briand Lionel. (In press). SAFE: Safety Analysis and Retraining of DNNs. In Companion Proceedings of the 46th International Conference on Software Engineering (ICSE 2024). New York, United States: ACM. doi:10.1145/3639478.3640028
Peer reviewed

ATTAOUI, M. O., FAHMY, H., PASTORE, F., & BRIAND, L. (In press). Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/58139. doi:10.1145/3643671

SHIN, S. Y., PASTORE, F., BIANCULLI, D., & Baicoianu, A. (2024). Towards Generating Executable Metamorphic Relations Using Large Language Models. In Proceedings of the 17th International Conference on the Quality of Information and Communications Technology. Berlin, Germany: Springer.
Peer reviewed

Lee, J., VIGANO, E., Cornejo, O., PASTORE, F., & BRIAND, L. (2023). Fuzzing for CPS Mutation Testing. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering. New York, Unknown/unspecified: IEEE. doi:10.1109/ASEW60602.2023
Peer reviewed

NGO, C. D., PASTORE, F., & BRIAND, L. (2023). Testing Updated Apps by Adapting Learned Models. (v2). ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/57718. doi:10.48550/arXiv.2308.05549

VIGANO, E., CORNEJO OLIVARES, O. E., PASTORE, F., & BRIAND, L. (2023). DaMAT: A Data-driven Mutation Analysis Tool. In Companion Proceedings of the 45th International Conference on Software Engineering (ICSE ’23). IEEE. doi:10.1109/ICSE-Companion58688.2023.00047
Peer reviewed

MALIK, J., & PASTORE, F. (05 July 2023). An empirical study of vulnerabilities in edge frameworks to support security testing improvement. Empirical Software Engineering, 28 (4). doi:10.1007/s10664-023-10330-x
Peer Reviewed verified by ORBi

Bayati Chaleshtari, N., PASTORE, F., Goknil, A., & BRIAND, L. (2023). Metamorphic Testing for Web System Security. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2023.3256322
Peer Reviewed verified by ORBi

FAHMY, H., PASTORE, F., BRIAND, L., & Stifter, T. (2023). Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3569935
Peer reviewed

VIGANO, E., Cornejo, O., PASTORE, F., & BRIAND, L. (2023). Data-driven Mutation Analysis for Cyber-Physical Systems. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3213041
Peer Reviewed verified by ORBi

NGO, C. D., PASTORE, F., & BRIAND, L. (October 2022). Automated, Cost-effective, and Update-driven App Testing. ACM Transactions on Software Engineering and Methodology, 31 (4), 61. doi:10.1145/3502297
Peer Reviewed verified by ORBi

CORNEJO OLIVARES, O. E., PASTORE, F., & BRIAND, L. (October 2022). Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain. IEEE Transactions on Software Engineering, 48 (10), 3913–3939. doi:10.1109/TSE.2021.3107680
Peer Reviewed verified by ORBi

NGO, C. D., PASTORE, F., & BRIAND, L. (2022). ATUA: an update-driven app testing tool. In The 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 765-768). New York, NY, United States: Association for Computing Machinery (ACM). doi:10.1145/3533767.3543293
Peer reviewed

ATTAOUI, M. O., FAHMY, H., PASTORE, F., & BRIAND, L. (2022). Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3550271
Peer Reviewed verified by ORBi

CORNEJO OLIVARES, O. E., PASTORE, F., & BRIAND, L. (2022). MASS: A tool for Mutation Analysis of Space CPS. In 2022 IEEE/ACM 44st International Conference on Software Engineering. United States: IEEE. doi:10.1145/3510454.3516840
Peer reviewed

FAHMY, H., PASTORE, F., & BRIAND, L. (2022). HUDD: A tool to debug DNNs for safety analysis. In 2022 IEEE/ACM 44th International Conference on Software Engineering. Pittsburgh, PA, United States: ACM/IEEE. doi:10.1145/3510454.3516858
Peer reviewed

WANG, C., PASTORE, F., Göknil, A., & BRIAND, L. (01 February 2022). Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach. IEEE Transactions on Software Engineering, 48 (2), 585 - 616. doi:10.1109/TSE.2020.2998503
Peer reviewed

PASTORE, F., Micucci, D., Guzman, M., & Mariani, L. (01 February 2022). TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Transactions on Software Engineering, 48 (2), 617 - 636. doi:10.1109/TSE.2020.2998527
Peer reviewed

FAHMY, H., PASTORE, F., Bagherzadeh, M., & BRIAND, L. (May 2021). Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. IEEE Transactions on Reliability, 70 (4), 1641-1657. doi:10.1109/TR.2021.3074750
Peer reviewed

MAI, X. P., PASTORE, F., Goknil, A., & BRIAND, L. (2020). Metamorphic Security Testing for Web Systems. In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE. doi:10.1109/ICST46399.2020.00028
Peer reviewed

HAJRI, I., Göknil, A., PASTORE, F., & BRIAND, L. (2020). Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. Empirical Software Engineering, 25 (5), 3711–3769. doi:10.1007/s10664-020-09853-4
Peer Reviewed verified by ORBi

Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Ničković, & PASTORE, F. (2020). CPSDebug: a tool for explanation of failures in cyber-physical systems. In CPSDebug: a tool for explanation of failures in cyber-physical systems (pp. 569–572). New York, United States: Association for Computing Machinery. doi:10.1145/3395363.3404369
Peer reviewed

MAI, X. P., Göknil, A., PASTORE, F., & BRIAND, L. (2020). SMRL: A Metamorphic Security Testing Tool for Web Systems. In 2020 IEEE/ACM 42nd International Conference on Software Engineering. doi:10.1145/3377812.3382152
Peer reviewed

ALFEREZ, M., PASTORE, F., SABETZADEH, M., BRIAND, L., & Riccardi, J.-R. (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). doi:10.1109/MODELS.2019.00008
Peer reviewed

MAI, X. P., PASTORE, F., Goknil, A., & BRIAND, L. (2019). MCP: A Security Testing Tool Driven by Requirements. In 2019 IEEE/ACM 41st International Conference on Software Engineering. United States: IEEE. doi:10.1109/ICSE-Companion.2019.00037
Peer reviewed

WANG, C., PASTORE, F., & BRIAND, L. (2019). Oracles for Testing Software Timeliness with Uncertainty. ACM Transactions on Software Engineering and Methodology, 28 (1). doi:10.1145/3280987
Peer Reviewed verified by ORBi

Basili, V., BRIAND, L., BIANCULLI, D., NEJATI, S., PASTORE, F., & SABETZADEH, M. (September 2018). Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Software, 35 (5), 44-49. doi:10.1109/MS.2018.290110216
Peer Reviewed verified by ORBi

MAI, X. P., Göknil, A., Shar, L. K., PASTORE, F., BRIAND, L., & Shaame, S. (2018). Modeling Security and Privacy Requirements: a Use Case-Driven Approach. Information and Software Technology, 100, 165-182. doi:10.1016/j.infsof.2018.04.007
Peer reviewed

MAI, X. P., PASTORE, F., Göknil, A., & BRIAND, L. (2018). A Natural Language Programming Approach for Requirements-based Security Testing. In 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018). IEEE. doi:DOI:10.1109/1SSRE.2018.00017
Peer reviewed

WANG, C., PASTORE, F., & BRIAND, L. (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. doi:10.1109/ICST.2018.00013
Peer reviewed

BRIAND, L., BIANCULLI, D., NEJATI, S., PASTORE, F., & SABETZADEH, M. (September 2017). The Case for Context-Driven Software Engineering Research. IEEE Software, 34 (5), 72-75. doi:10.1109/MS.2017.3571562
Peer Reviewed verified by ORBi

WANG, C., PASTORE, F., & BRIAND, L. (2017). 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. doi:10.1109/ICST.2017.34
Peer reviewed

DI NARDO, D., PASTORE, F., ARCURI, A., & BRIAND, L. (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 (pp. 126-137). doi:10.1109/ASE.2015.13
Peer reviewed

WANG, C., PASTORE, F., Göknil, A., BRIAND, L., & Iqbal, Z. (2015). 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 (pp. 942-945). doi:10.1145/2786805.2803187
Peer reviewed

WANG, C., PASTORE, F., Göknil, A., BRIAND, L., & Iqbal, Z. (2015). 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.
Peer reviewed

PASTORE, F., & Mariani, L. (2015). ZoomIn: Discovering Failures by Detecting Wrong Assertions. In Proceedings of the 37th International Conference on Software Engineering (ICSE). doi:10.1109/ICSE.2015.29
Peer reviewed

DI NARDO, D., PASTORE, F., & BRIAND, L. (2015). Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis. In Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on. doi:10.1109/ICST.2015.7102589
Peer reviewed

Contact ORBilu