Tools and Publications

Publications

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, Lionel C. Briand, Shiva Nejati: Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. ACM Transactions on Software Engineering and Methodology (TOSEM), 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