Publications

2025:

• Delaram Ghobari, Mohammad Hossein Amini, Dai Quoc Tran, Seunghee Park, Shiva Nejati, Mehrdad Sabetzadeh. "Test Input Validation for Vision-based DL Systems: An Active Learning Approach." The Software Engineering in Practice (SEIP) track of International Conference on Software Engineering (ICSE-SEIP 2025). 

• Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati. "Simulink Mutation Testing using CodeBERT." Automation of Software Test (AST 2025). 

• Lev Sorokin, Damir Safin, Shiva Nejati. "Can search-based testing with pareto optimization effectively cover failure-revealing test inputs?" Empirical Software Engineering (EMSE) Journal 30(1): 26 (2025)

• Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot. "An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations." Empirical Software Engineering (EMSE) Journal 30(3): 72 (2025)

• Mehrdad Sabetzadeh, Chetan Arora: "Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering." In Handbook on Natural Language Processing for Requirements Engineering. Springer. 2025

2024:

• Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati. "Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages." ACM Transactions on Software Engineering and Methodology (TOSEM) 33(2): 32:1-32:34 (2024)

•  Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen. "A Lean Simulation Framework for Stress Testing IoT Cloud Systems." IEEE Transactions on Software Engineering (TSE) 50(7): 1827-1851 (2024)

• Daksh Chaudhary, Sri Lakshmi Vadlamani, Dimple Thomas, Shiva Nejati, Mehrdad Sabetzadeh: "Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson". ICSME 2024: 707-718

• Mohammad Hossein Amini, Shiva Nejati. "Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems." ASE 2024: 732-744

• Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra: "Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study." MODELS 2024: 172-182

• João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa: Self-adaptive, Requirements-driven Autoscaling of Microservices. SEAMS@ICSE 2024: 168-174

• Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh. "Improving requirements completeness: automated assistance through large language models." Requirements Engineering Journal 29(1): 73-95 (2024)

• Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao: Rethinking Legal Compliance Automation: Opportunities with Large Language Models. RE 2024: 432-440

• Kaishuo Wang, Feier Zhang, Mehrdad Sabetzadeh: "Automated Requirements Demarcation using Large Language Models: An Empirical Study." REFSQ Workshops 2024

• Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh: "Requirements-Driven Slicing of Simulink Models using LLMs." RE Workshops 2024: 72-82

• Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati: "Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach". ICSTW 2024: 9-12

2023:

• Baharin A. Jodat, Abhishek Chandar, Shiva Nejati, and Mehrdad Sabetzadeh. "Test Generation Strategies for Building Failure Models and Explaining Spurious Failures." ACM Transactions on Software Engineering and Methodology (TOSEM), arXiv preprint arXiv:2312.05631 (2023).

• Mohammad Hossein Amini, Shervin Naseri, and Shiva Nejati. "Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems." Empirical Software Engineering (EMSE) Journal, arXiv preprint arXiv:2311.18768 (2023).

• Jia Li, Shiva Nejati, and Mehrdad Sabetzadeh. "Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks." ACM Transactions on Autonomous and Adaptive Systems (TAAS). 2023

• Dipeeka Luitel, Shabnam Hassani, and Mehrdad Sabetzadeh. "Using Language Models for Enhancing the Completeness of Natural-Language Requirements." In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), pp. 87-104. Springer, 2023.

• Baharin A. Jodat, Shiva Nejati, Mehrdad Sabetzadeh, and Patricio Saavedra. "Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study." In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 386-397. IEEE, 2023.

• Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi. "Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models." Information Software Technology (IST) Journal 163: 107286 (2023)

• Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik. "Early Verification of Legal Compliance via Bounded Satisfiability Checking". CAV 2023: 374-396

• Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh. "AI-based Question Answering Assistance for Analyzing Natural-language Requirements". ICSE 2023: 1277-1289

• Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache. "Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages." ACM Transactions on Software Engineering and Methodology (TOSEM). 32(2): 37:1-37:33 (2023)

2022:

• Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, and Michael McCallen. "A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions." In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 367-378. 2022.

• Jia Li, Shiva Nejati, and Mehrdad Sabetzadeh. "Learning self-adaptations for IoT networks: A genetic programming approach." In Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 13-24. 2022.

• Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache: "Combining Genetic Programming and Model Checking to Generate Environment Assumptions." IEEE Transaction Software Engineering (TSE) 48(9): 3664-3685 (2022) 

• Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh. "Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study". ICSE 2022: 187-199

• Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh. "TAPHSIR: towards AnaPHoric ambiguity detection and ReSolution in requirements". ESEC/SIGSOFT FSE 2022: 1677-1681

• Saad Ezzini, Sallam Abualhaija, Mehrdad Sabetzadeh. "WikiDoMiner: wikipedia domain-specific miner". ESEC/SIGSOFT FSE 2022: 1706-1710

2021:

• Shiva Nejati: Next-Generation Software Verification: An AI Perspective. IEEE Software 38(3): 126-130 (2021)

• Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin: "Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators" ICST 2021: 383-393