  | Oualid Attaoui, M., PASTORE, F., & Briand, L. (In press). Search-based DNN Testing and Retraining with GAN-enhanced Simulations. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2025.3540549  Peer Reviewed verified by ORBi |
 | Bayati Chaleshtari, N., MARQUER, Y., PASTORE, F., & Briand, L. C. (2024). AIM: Automated Input Set Minimization for Metamorphic Security Testing. IEEE Transactions on Software Engineering, 1-31. doi:10.1109/TSE.2024.3488525 Peer Reviewed verified by ORBi |
  | 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. doi:10.1007/978-3-031-70245-7_9 Peer reviewed |
 | NGO, C. D., PASTORE, F., & Briand, L. (29 June 2024). Testing Updated Apps by Adapting Learned Models. ACM Transactions on Software Engineering and Methodology, 33 (6), 1-40. doi:10.1145/3664601 Peer Reviewed verified by ORBi |
 | ATTAOUI, M. O., FAHMY, H., PASTORE, F., & BRIAND, L. (2024). Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3643671 Peer Reviewed verified by ORBi |
 | ATTAOUI, M. O., PASTORE, F., & Briand Lionel. (2024). 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 |
 | MALIK, J., & PASTORE, F. (2024). Field-based Security Testing of SDN configuration Updates. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/63497. |
 | LEE, J., VIGANO, E., PASTORE, F., & BRIAND, L. (2024). MOTIF: A tool for Mutation Testing with Fuzzing. In Companion Proceedings of the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024. Piscataway, United States - New Jersey: IEEE. doi:10.1109/ICST60714.2024.00052 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 Dataset: https://zenodo.org/records/7826981 |
 | 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 Dataset: 10.5281/zenodo.7702754 |
 | 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 verified by ORBi |
 | 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 |
 | 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. (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 |
 | 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 |
 | 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 |
 | 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 |
 | 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 verified by ORBi |
 | 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 verified by ORBi |
 | 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: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 |
