| 2026 | ISCAS | A Low-Power, High-Resolution Capacitance to Digital Conversion Mechanism for Invasive attacks. | Harikrishnan Balagopal, Shiva Nejati, Hamidreza Esmaeili Taheri, Mitra Mirhassani |
| 2026 | SANER | Question Answering for Multi-Release Systems: A Case Study at Ciena. | Parham Khamsepour, Mark Cole, Ish Ashraf, Sandeep Puri, Mehrdad Sabetzadeh, Shiva Nejati |
| 2026 | SSBSE | Genetic Programming for Self-adaptive Auto-scaling of Microservices. | Jia Li, Mehrdad Sabetzadeh, Shiva Nejati |
| 2025 | AST | Simulink Mutation Testing using CodeBERT. | Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati |
| 2025 | FORTE | Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. | Hugo Arajo, Mohammad Reza Mousavi, Shiva Nejati |
| 2024 | ICST | Message from the Program Co-Chairs; ICST 2024. | Gregory Gay, Shiva Nejati |
| 2024 | ICST | Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach. | Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati |
| 2024 | MODELS | Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. | Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra |
| 2024 | RE | Requirements-Driven Slicing of Simulink Models using LLMs. | Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh |
| 2024 | SEAMS | Self-adaptive, Requirements-driven Autoscaling of Microservices. | Joo Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa |
| 2023 | ICST | Test Cost Reduction for 5G and Beyond using Machine Learning. | Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stphane Desjardins, Kourosh Haghighi |
| 2023 | ICST | Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. | Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra |
| 2022 | MODELS | A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. | Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen |
| 2022 | SEAMS | Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. | Jia Li, Shiva Nejati, Mehrdad Sabetzadeh |
| 2021 | ICST | Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. | Markus Borg, Raja Ben Abdessalem, Shiva Nejati, Franois-Xavier Jegeden, Donghwan Shin |
| 2020 | ICSE | Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. | Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache |
| 2020 | ICSE | Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. | Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer |
| 2020 | ICST | Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. | Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand |
| 2020 | ISSTA | Automated repair of feature interaction failures in automated driving systems. | Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
| 2020 | SSBSE | Search-Based Software Testing for Formal Software Verification - and Vice Versa. | Shiva Nejati |
| 2019 | ICSE | Testing cyber-physical systems via evolutionary algorithms and machine learning. | Shiva Nejati |
| 2018 | ICSE | Testing vision-based control systems using learnable evolutionary algorithms. | Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
| 2018 | ISSTA | Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. | Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer |
| 2018 | MODELS | Enabling Model Testing of Cyber-Physical Systems. | Carlos A. Gonzlez, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi |
| 2018 | MODELS | HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. | Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer |
| 2016 | ICSE | Testing the untestable: model testing of complex software-intensive systems. | Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli |
| 2016 | ICSE | Automated test suite generation for time-continuous simulink models. | Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann |
| 2016 | ICSE | SimCoTest: a test suite generation tool for simulink/stateflow controllers. | Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann |
| 2014 | CP | Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2014 | ISSTA | Identifying optimal trade-offs between CPU time usage and temporal constraints using search. | Shiva Nejati, Lionel C. Briand |
| 2013 | ISSRE | Stress testing of task deadlines: A constraint programming approach. | Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2013 | SSBSE | Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. | Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull |
| 2012 | ICST | Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. | Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand |
| 2012 | MODELS | Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. | Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue |
| 2012 | MODELS | Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. | Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2009 | ICSE | Relationship-based change propagation: A case study. | Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay |
| 2008 | ICSE | Behavioural model fusion: an overview of challenges. | Shiva Nejati, Marsha Chechik |
| 2008 | ICSE | Global consistency checking of distributed models with TReMer+. | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
| 2008 | RV | Property Patterns for Runtime Monitoring of Web Service Conversations. | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
| 2007 | ICSE | Matching and Merging of Statecharts Specifications. | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave |
| 2007 | ICSE | A Relationship-Driven Framework for Model Merging. | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
| 2007 | RE | Consistency Checking of Conceptual Models via Model Merging. | Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik |
| 2006 | FMCAD | Thorough Checking Revisited. | Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik |
| 2005 | SEFM | Stuttering Abstraction for Model Checkin. | Shiva Nejati, Arie Gurfinkel, Marsha Chechik |