Shiva Nejati

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 81

Top Venues

CoRR

ACM Trans. Softw. Eng. Methodol.

ESEC/SIGSOFT FSE

Empir. Softw. Eng.

Publications

Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. CoRR (2024)
João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa
Self-adaptive, Requirements-driven Autoscaling of Microservices. CoRR (2024)
João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa
Self-adaptive, Requirements-driven Autoscaling of Microservices. SEAMS@ICSE (2024)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. ACM Trans. Softw. Eng. Methodol. 33 (4) (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 Trans. Softw. Eng. Methodol. 33 (2) (2024)
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. CoRR (2024)
Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
Evaluating the impact of flaky simulators on testing autonomous driving systems. Empir. Softw. Eng. 29 (2) (2024)
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. CoRR (2024)
Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh
Requirements-driven Slicing of Simulink Models Using LLMs. CoRR (2024)
Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. IEEE Trans. Software Eng. 50 (7) (2024)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. CoRR (2023)
Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems. CoRR (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. CoRR (2023)
Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. CoRR (2023)
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 Trans. Softw. Eng. Methodol. 32 (2) (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. Inf. Softw. Technol. 163 (2023)
Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi
Test Cost Reduction for 5G and Beyond using Machine Learning. ICSTW (2023)
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. ICST (2023)
Diptikalyan Saha, Shiva Nejati
A Report on Tutorials and Tech-Briefings co-located with ISEC 2023. ISEC (2023)
Shiva Nejati, Dániel Varró
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22 (5) (2023)
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. CoRR (2023)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. CoRR (2022)
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 27 (6) (2022)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions. CoRR (2022)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng. 48 (9) (2022)
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand
Optimal priority assignment for real-time systems: a coevolution-based approach. Empir. Softw. Eng. 27 (6) (2022)
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. CoRR (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. SEAMS (2022)
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. MoDELS (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR (2022)
Shiva Nejati
Next-Generation Software Verification: An AI Perspective. IEEE Softw. 38 (3) (2021)
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? CoRR (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)
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach. CoRR (2021)
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Claude Briand
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 26 (5) (2021)
Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. J. Syst. Softw. 171 (2021)
Gregory Gay, Shiva Nejati
Special Section on the 2019 Symposium on Search-Based Software Engineering. Inf. Softw. Technol. 130 (2021)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. CoRR (2021)
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. ICST (2020)
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
Mining assumptions for software components using machine learning. ESEC/SIGSOFT FSE (2020)
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. ICSE (2020)
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. SEAMS@ICSE (2020)
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. CoRR (2020)
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. CoRR (2020)
Shiva Nejati
Search-Based Software Testing for Formal Software Verification - and Vice Versa. SSBSE (2020)
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Automated repair of feature interaction failures in automated driving systems. ISSTA (2020)
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. CoRR (2019)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating model testing and model checking for finding requirements violations in Simulink models. ESEC/SIGSOFT FSE (2019)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Trans. Software Eng. 45 (9) (2019)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. CoRR (2019)
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. ESEC/SIGSOFT FSE (2019)
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. CoRR (2019)
Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. Empir. Softw. Eng. 24 (1) (2019)
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. CoRR (2019)
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. CoRR (2019)
Chetan Arora, Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Trans. Softw. Eng. Methodol. 28 (1) (2019)
Shiva Nejati
Testing cyber-physical systems via evolutionary algorithms and machine learning. SBST@ICSE (2019)
Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35 (5) (2018)
Razieh Behjati, Shiva Nejati
Architecture-level configuration of industrial control systems: Foundations for an efficient approach. Sci. Comput. Program. 160 (2018)
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. ISSTA (2018)
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Testing vision-based control systems using learnable evolutionary algorithms. ICSE (2018)
Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. MoDELS (2018)
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Testing autonomous cars for feature interaction failures using many-objective search. ASE (2018)
Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi
Enabling Model Testing of Cyber-Physical Systems. MoDELS (2018)
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand
Improving fault localization for Simulink models using search-based testing and prediction models. SANER (2017)
Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34 (5) (2017)
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
Runtime monitoring of web service conversations. CASCON (2017)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. ESEC/SIGSOFT FSE (2017)
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
Simulink fault localization: an iterative statistical debugging approach. Softw. Test. Verification Reliab. 26 (6) (2016)
Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli
Testing the untestable: model testing of complex software-intensive systems. ICSE (Companion Volume) (2016)
Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. Briand, Felix Mandoux
Automated change impact analysis between SysML models of requirements and design. SIGSOFT FSE (2016)
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Testing advanced driver assistance systems using multi-objective search and neural networks. ASE (2016)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
SimCoTest: a test suite generation tool for simulink/stateflow controllers. ICSE (Companion Volume) (2016)
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
Localizing Multiple Faults in Simulink Models. SANER (2016)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
Automated test suite generation for time-continuous simulink models. ICSE (2016)
Razieh Behjati, Shiva Nejati
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. FSEN (2015)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
Effective test suites for mixed discrete-continuous stateflow controllers. ESEC/SIGSOFT FSE (2015)
Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull
Search-based automated testing of continuous controllers: Framework, tool support, and case studies. Inf. Softw. Technol. 57 (2015)
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Traceability and SysML design slices to support safety inspections: A controlled experiment. ACM Trans. Softw. Eng. Methodol. 23 (1) (2014)
Shiva Nejati, Lionel C. Briand
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. ISSTA (2014)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
MiL testing of highly configurable continuous controllers: scalable search using surrogate models. ASE (2014)
Razieh Behjati, Shiva Nejati, Lionel C. Briand
Architecture-Level Configuration of Large-Scale Embedded Software Systems. ACM Trans. Softw. Eng. Methodol. 23 (3) (2014)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
CoCoTest: a tool for model-in-the-loop testing of continuous controllers. ASE (2014)
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP (2014)
Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement
Minimizing CPU time shortage risks in integrated embedded software. ASE (2013)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull
Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. SSBSE (2013)
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
Stress testing of task deadlines: A constraint programming approach. ISSRE (2013)
Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. MoDELS (2012)
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38 (6) (2012)
Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST (2012)
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. MoDELS (2012)
Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh
A relationship-based approach to model integration. Innov. Syst. Softw. Eng. 8 (1) (2012)
Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand
Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA (2012)
Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Inf. Softw. Technol. 54 (6) (2012)
Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. HASE (2011)
Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA (2011)
Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina
SafeSlice: a model slicing and design safety inspection tool for SysML. SIGSOFT FSE (2011)

Shiva Nejati.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shiva Nejati