Formal support for merging and negotiation. - Shiva Nejati 001 (ASE, 2005)

Let's agree to disagree. - Shiva Nejati 001; Marsha Chechik (ASE, 2005)

Stuttering Abstraction for Model Checkin. - Shiva Nejati 001; Arie Gurfinkel; Marsha Chechik (SEFM, 2005)

Thorough Checking Revisited. - Shiva Nejati 001; Mihaela Gheorghiu; Marsha Chechik (FMCAD, 2006)

A relationship-driven approach to view merging. - Mehrdad Sabetzadeh; Shiva Nejati 001; Steve M. Easterbrook; Marsha Chechik (ACM SIGSOFT Softw. Eng. Notes, 2006)

Runtime monitoring of web service conversations. - Yuan Gan; Marsha Chechik; Shiva Nejati 001; Jon Bennett; Bill O'Farrell; Julie Waterhouse (CASCON, 2007)

An Eclipse-based tool framework for software model management. - Rick Salay; Marsha Chechik; Steve M. Easterbrook; Zinovy Diskin; Pete McCormick; Shiva Nejati 001; Mehrdad Sabetzadeh; Petcharat Viriyakattiyaporn (ETX, 2007)

Matching and Merging of Statecharts Specifications. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Steve M. Easterbrook; Pamela Zave (ICSE, 2007)

A Relationship-Driven Framework for Model Merging. - Mehrdad Sabetzadeh; Shiva Nejati 001; Steve M. Easterbrook; Marsha Chechik (MiSE@ICSE, 2007)

Consistency Checking of Conceptual Models via Model Merging. - Mehrdad Sabetzadeh; Shiva Nejati 001; Sotirios Liaskos; Steve M. Easterbrook; Marsha Chechik (RE, 2007)

Behavioural model fusion: an overview of challenges. - Shiva Nejati 001; Marsha Chechik (MiSE, 2008)

Global consistency checking of distributed models with TReMer+. - Mehrdad Sabetzadeh; Shiva Nejati 001; Steve M. Easterbrook; Marsha Chechik (ICSE, 2008)

Property Patterns for Runtime Monitoring of Web Service Conversations. - Jocelyn Simmonds; Marsha Chechik; Shiva Nejati 001; Elena Litani; Bill O'Farrell (RV, 2008)

Towards compositional synthesis of evolving systems. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Sebastián Uchitel; Pamela Zave (SIGSOFT FSE, 2008)

Relationship-based change propagation: A case study. - Marsha Chechik; Winnie Lai; Shiva Nejati 001; Jordi Cabot; Zinovy Diskin; Steve M. Easterbrook; Mehrdad Sabetzadeh; Rick Salay (MiSE@ICSE, 2009)

Runtime Monitoring of Web Service Conversations. - Jocelyn Simmonds; Yuan Gan; Marsha Chechik; Shiva Nejati 001; Bill O'Farrell; Elena Litani; Julie Waterhouse (IEEE Trans. Serv. Comput., 2009)

Behavioural Model Fusion. - Shiva Nejati 001 (2009)

Reasoning about Consistency in Model Merging. - Mehrdad Sabetzadeh; Shiva Nejati 001; Marsha Chechik; Steve Easterbrook (LWI@ASE, 2010)

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. - Razieh Behjati; Tao Yue 002; Shiva Nejati 001; Lionel C. Briand; Bran Selic (ECMFA, 2011)

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. - Mehrdad Sabetzadeh; Shiva Nejati 001; Lionel C. Briand; Anne-Heidi Evensen Mills (HASE, 2011)

SafeSlice: a model slicing and design safety inspection tool for SysML. - Davide Falessi; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Antonio Messina (SIGSOFT FSE, 2011)

Model-Based Automated and Guided Configuration of Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001; Tao Yue 002; Arnaud Gotlieb; Lionel C. Briand (ECMFA, 2012)

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. - Stefano Di Alesio; Arnaud Gotlieb; Shiva Nejati 001; Lionel C. Briand (ICST, 2012)

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. - Lionel C. Briand; Davide Falessi; Shiva Nejati 001; Mehrdad Sabetzadeh; Tao Yue 002 (MoDELS, 2012)

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. - Shiva Nejati 001; Stefano Di Alesio; Mehrdad Sabetzadeh; Lionel C. Briand (MoDELS, 2012)

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. - Shiva Nejati 001; Mehrdad Sabetzadeh; Davide Falessi; Lionel C. Briand; Thierry Coq (Inf. Softw. Technol., 2012)

A relationship-based approach to model integration. - Marsha Chechik; Shiva Nejati 001; Mehrdad Sabetzadeh (Innov. Syst. Softw. Eng., 2012)

Matching and Merging of Variant Feature Specifications. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Steve M. Easterbrook; Pamela Zave (IEEE Trans. Software Eng., 2012)

PWWM: A Personal Web Workflow Methodology. - Marsha Chechik; Jocelyn Simmonds; Sotirios Liaskos; Shiva Nejati 001; Mehrdad Sabetzadeh; Rick Salay (The Personal Web, 2013)

Stress testing of task deadlines: A constraint programming approach. - Stefano Di Alesio; Shiva Nejati 001; Lionel C. Briand; Arnaud Gotlieb (ISSRE, 2013)

Minimizing CPU time shortage risks in integrated embedded software. - Shiva Nejati 001; Morayo Adedjouma; Lionel C. Briand; Jonathan Hellebaut; Julien Begey; Yves Clement (ASE, 2013)

Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann; Claude Poull (SSBSE, 2013)

Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. - Stefano Di Alesio; Shiva Nejati 001; Lionel C. Briand; Arnaud Gotlieb (CP, 2014)

Identifying optimal trade-offs between CPU time usage and temporal constraints using search. - Shiva Nejati 001; Lionel C. Briand (ISSTA, 2014)

MiL testing of highly configurable continuous controllers: scalable search using surrogate models. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (ASE, 2014)

CoCoTest: a tool for model-in-the-loop testing of continuous controllers. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (ASE, 2014)

Architecture-Level Configuration of Large-Scale Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2014)

Traceability and SysML design slices to support safety inspections: A controlled experiment. - Lionel C. Briand; Davide Falessi; Shiva Nejati 001; Mehrdad Sabetzadeh; Tao Yue 002 (ACM Trans. Softw. Eng. Methodol., 2014)

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001 (FSEN, 2015)

Effective test suites for mixed discrete-continuous stateflow controllers. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (ESEC/SIGSOFT FSE, 2015)

Search-based automated testing of continuous controllers: Framework, tool support, and case studies. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann; Claude Poull (Inf. Softw. Technol., 2015)

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. - Stefano Di Alesio; Lionel C. Briand; Shiva Nejati 001; Arnaud Gotlieb (ACM Trans. Softw. Eng. Methodol., 2015)

Testing the untestable: model testing of complex software-intensive systems. - Lionel C. Briand; Shiva Nejati 001; Mehrdad Sabetzadeh; Domenico Bianculli (ICSE (Companion Volume), 2016)

Automated test suite generation for time-continuous simulink models. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (ICSE, 2016)

SimCoTest: a test suite generation tool for simulink/stateflow controllers. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (ICSE (Companion Volume), 2016)

Testing advanced driver assistance systems using multi-objective search and neural networks. - Raja Ben Abdessalem; Shiva Nejati 001; Lionel C. Briand; Thomas Stifter (ASE, 2016)

Automated change impact analysis between SysML models of requirements and design. - Shiva Nejati 001; Mehrdad Sabetzadeh; Chetan Arora 002; Lionel C. Briand; Felix Mandoux (SIGSOFT FSE, 2016)

Localizing Multiple Faults in Simulink Models. - Bing Liu; Lucia; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (SANER, 2016)

Simulink fault localization: an iterative statistical debugging approach. - Bing Liu; Lucia; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (Softw. Test. Verification Reliab., 2016)

Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand (ESEC/SIGSOFT FSE, 2017)

Improving fault localization for Simulink models using search-based testing and prediction models. - Bing Liu; Lucia; Shiva Nejati 001; Lionel C. Briand (SANER, 2017)

The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. - Lionel C. Briand; Domenico Bianculli; Shiva Nejati 001; Fabrizio Pastore; Mehrdad Sabetzadeh (IEEE Softw., 2017)

Testing vision-based control systems using learnable evolutionary algorithms. - Raja Ben Abdessalem; Shiva Nejati 001; Lionel C. Briand; Thomas Stifter (ICSE, 2018)

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (ISSTA, 2018)

Testing autonomous cars for feature interaction failures using many-objective search. - Raja Ben Abdessalem; Annibale Panichella; Shiva Nejati 001; Lionel C. Briand; Thomas Stifter (ASE, 2018)

Enabling Model Testing of Cyber-Physical Systems. - Carlos A. González; Mojtaba Varmazyar; Shiva Nejati 001; Lionel C. Briand; Yago Isasi (MoDELS, 2018)

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (MoDELS, 2018)

Architecture-level configuration of industrial control systems: Foundations for an efficient approach. - Razieh Behjati; Shiva Nejati 001 (Sci. Comput. Program., 2018)

Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. - Victor R. Basili; Lionel C. Briand; Domenico Bianculli; Shiva Nejati 001; Fabrizio Pastore; Mehrdad Sabetzadeh (IEEE Softw., 2018)

Testing cyber-physical systems via evolutionary algorithms and machine learning. - Shiva Nejati 001 (SBST@ICSE, 2019)

Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. - Claudio Menghi; Shiva Nejati 001; Khouloud Gaaloul; Lionel C. Briand (ESEC/SIGSOFT FSE, 2019)

Evaluating model testing and model checking for finding requirements violations in Simulink models. - Shiva Nejati 001; Khouloud Gaaloul; Claudio Menghi; Lionel C. Briand; Stephen Foster; David Wolfe (ESEC/SIGSOFT FSE, 2019)

Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Chetan Arora 002; Frank Zimmer (CoRR, 2019)

Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. - Bing Liu; Shiva Nejati 001; Lucia; Lionel C. Briand (Empir. Softw. Eng., 2019)

An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. - Chetan Arora 002; Mehrdad Sabetzadeh; Shiva Nejati 001; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2019)

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. - Reza Matinnejad; Shiva Nejati 001; Lionel C. Briand; Thomas Bruckmann (IEEE Trans. Software Eng., 2019)

Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. - Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ICSE, 2020)

Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Chetan Arora 002; Frank Zimmer (SEAMS@ICSE, 2020)

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. - Fitash Ul Haq; Donghwan Shin 001; Shiva Nejati 001; Lionel C. Briand (ICST, 2020)

Automated repair of feature interaction failures in automated driving systems. - Raja Ben Abdessalem; Annibale Panichella; Shiva Nejati 001; Lionel C. Briand; Thomas Stifter (ISSTA, 2020)

Mining assumptions for software components using machine learning. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; David Wolfe (ESEC/SIGSOFT FSE, 2020)

Search-Based Software Testing for Formal Software Verification - and Vice Versa. - Shiva Nejati 001 (SSBSE, 2020)

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (CoRR, 2020)

Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. - Markus Borg; Raja Ben Abdessalem; Shiva Nejati 001; François-Xavier Jegeden; Donghwan Shin 001 (ICST, 2021)

Can Offline Testing of Deep Neural Networks Replace Their Online Testing? - Fitash Ul Haq; Donghwan Shin 001; Shiva Nejati 001; Lionel Claude Briand (Empir. Softw. Eng., 2021)

Special Section on the 2019 Symposium on Search-Based Software Engineering. - Gregory Gay 002; Shiva Nejati 001 (Inf. Softw. Technol., 2021)

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (J. Syst. Softw., 2021)

Next-Generation Software Verification: An AI Perspective. - Shiva Nejati 001 (IEEE Softw., 2021)

A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. - Jia Li 030; Shiva Nejati 001; Mehrdad Sabetzadeh; Michael McCallen (MoDELS, 2022)

Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. - Jia Li 030; Shiva Nejati 001; Mehrdad Sabetzadeh (SEAMS, 2022)

Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing? - Fitash Ul Haq; Donghwan Shin 001; Shiva Nejati 001; Lionel C. Briand (Empir. Softw. Eng., 2022)

Optimal priority assignment for real-time systems: a coevolution-based approach. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand (Empir. Softw. Eng., 2022)

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. - Danny Weyns; Ilias Gerostathopoulos; Barbora Buhnova; Nicolás Cardozo; Emilia Cioroaica; Ivana Dusparic; Lars Grunske; Pooyan Jamshidi; Christine Julien 001; Judith Michael; Gabriel A. Moreno; Shiva Nejati 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2022)

Combining Genetic Programming and Model Checking to Generate Environment Assumptions. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (IEEE Trans. Software Eng., 2022)

Test Cost Reduction for 5G and Beyond using Machine Learning. - Maryam Havakeshian; Yvan Labiche; Shiva Nejati 001; Stéphane Desjardins; Kourosh Haghighi (ICSTW, 2023)

Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. - Baharin Aliashrafi Jodat; Shiva Nejati 001; Mehrdad Sabetzadeh; Patricio Saavedra (ICST, 2023)

A Report on Tutorials and Tech-Briefings co-located with ISEC 2023. - Diptikalyan Saha; Shiva Nejati 001 (ISEC, 2023)

Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. - Jaekwon Lee; Seung Yeob Shin; Lionel C. Briand; Shiva Nejati 001 (CoRR, 2023)

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ACM Trans. Softw. Eng. Methodol., 2023)

Guest editorial for the special section on MODELS 2021. - Shiva Nejati 001; Dániel Varró (Softw. Syst. Model., 2023)

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. - Shiva Nejati 001; Lev Sorokin; Damir Safin; Federico Formica; Mohammad Mahdi Mahboob; Claudio Menghi (Inf. Softw. Technol., 2023)

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

Message from the Program Co-Chairs; ICST 2024. - Gregory Gay 002; Shiva Nejati 001 (ICST, 2024)

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 001 (ICSTW, 2024)

Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems. - Mohammad Hossein Amini; Shiva Nejati 001 (ASE, 2024)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. - Negin Ayoughi; Shiva Nejati 001; Mehrdad Sabetzadeh; Patricio Saavedra (MODELS, 2024)

Requirements-Driven Slicing of Simulink Models using LLMs. - Dipeeka Luitel; Shiva Nejati 001; Mehrdad Sabetzadeh (RE Workshops, 2024)

Self-adaptive, Requirements-driven Autoscaling of Microservices. - João Paulo Karol Santos Nunes; Shiva Nejati 001; Mehrdad Sabetzadeh; Elisa Yumi Nakagawa (SEAMS@ICSE, 2024)

Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages. - Jaekwon Lee; Seung Yeob Shin; Lionel C. Briand; Shiva Nejati 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. - Jia Li 030; Shiva Nejati 001; Mehrdad Sabetzadeh (ACM Trans. Auton. Adapt. Syst., 2024)

Evaluating the impact of flaky simulators on testing autonomous driving systems. - Mohammad Hossein Amini; Shervin Naseri; Shiva Nejati 001 (Empir. Softw. Eng., 2024)

Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. - Baharin Aliashrafi Jodat; Abhishek Chandar; Shiva Nejati 001; Mehrdad Sabetzadeh (ACM Trans. Softw. Eng. Methodol., 2024)

A Lean Simulation Framework for Stress Testing IoT Cloud Systems. - Jia Li 030; Behrad Moeini; Shiva Nejati 001; Mehrdad Sabetzadeh; Michael McCallen (IEEE Trans. Software Eng., 2024)

Simulink Mutation Testing using CodeBERT. - Jingfan Zhang; Delaram Ghobari; Mehrdad Sabetzadeh; Shiva Nejati 001 (AST, 2025)

Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. - Hugo Araújo; Mohammad Reza Mousavi 001; Shiva Nejati 001 (FORTE, 2025)

Test Input Validation for Vision-Based DL Systems: An Active Learning Approach. - Delaram Ghobari; Mohammad Hossein Amini; Dai Quoc Tran; Seunghee Park; Shiva Nejati 001; Mehrdad Sabetzadeh (SEIP@ICSE, 2025)

Can search-based testing with pareto optimization effectively cover failure-revealing test inputs? - Lev Sorokin; Damir Safin; Shiva Nejati 001 (Empir. Softw. Eng., 2025)

AI for the Routine, Humans for the Complex: Accuracy-Driven Data Labelling with Mixed Integer Linear Programming. - Mohammad Hossein Amini; Mehrdad Sabetzadeh; Shiva Nejati 001 (CoRR, 2025)

Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation. - Baharin Aliashrafi Jodat; Khouloud Gaaloul; Mehrdad Sabetzadeh; Shiva Nejati 001 (CoRR, 2025)

The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams. - Parham Khamsepour; Mark Cole; Ish Ashraf; Sandeep Puri; Mehrdad Sabetzadeh; Shiva Nejati 001 (CoRR, 2025)