Shiva Nejati

Best Publications

• Matching and Merging of Statecharts Specifications

  Shiva Nejati;Mehrdad Sabetzadeh;Marsha Chechik;Steve Easterbrook

  384
  Citations

• Testing vision-based control systems using learnable evolutionary algorithms

  Raja Ben Abdessalem;Shiva Nejati;Lionel C. Briand;Thomas Stifter

  254
  Citations

• Testing advanced driver assistance systems using multi-objective search and neural networks

  Raja Ben Abdessalem;Shiva Nejati;Lionel C. Briand;Thomas Stifter

  213
  Citations

• A manifesto for model merging

  Greg Brunet;Marsha Chechik;Steve Easterbrook;Shiva Nejati

  207
  Citations

• Testing autonomous cars for feature interaction failures using many-objective search

  Raja Ben Abdessalem;Annibale Panichella;Shiva Nejati;Lionel C. Briand

  175
  Citations

• The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated

  Lionel Briand;Domenico Bianculli;Shiva Nejati;Fabrizio Pastore

  138
  Citations

• Consistency Checking of Conceptual Models via Model Merging

  M. Sabetzadeh;S. Nejati;S. Liaskos;S. Easterbrook

  124
  Citations

• Runtime Monitoring of Web Service Conversations

  J. Simmonds;Yuan Gan;M. Chechik;S. Nejati

  116
  Citations

• A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

  Shiva Nejati;Mehrdad Sabetzadeh;Davide Falessi;Lionel Briand

  111
  Citations

• Automated test suite generation for time-continuous simulink models

  Reza Matinnejad;Shiva Nejati;Lionel C. Briand;Thomas Bruckmann

  104
  Citations

• Search-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies

  Reza Matinnejad;Shiva Nejati;Lionel C. Briand;Thomas Bruckmann

  83
  Citations

• Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

  Reza Matinnejad;Shiva Nejati;Lionel C. Briand;Thomas Bruckmann

  76
  Citations

• Traceability and SysML design slices to support safety inspections: A controlled experiment

  Lionel Briand;Davide Falessi;Shiva Nejati;Mehrdad Sabetzadeh

  74
  Citations

• Testing the untestable: model testing of complex software-intensive systems

  Lionel Briand;Shiva Nejati;Mehrdad Sabetzadeh;Domenico Bianculli

  68
  Citations

• Runtime monitoring of web service conversations

  Yuan Gan;Marsha Chechik;Shiva Nejati;Jon Bennett

  61
  Citations

• Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification

  Claudio Menghi;Shiva Nejati;Lionel Briand;Yago Isasi Parache

  61
  Citations

• An Eclipse-based tool framework for software model management

  Rick Salay;Marsha Chechik;Steve Easterbrook;Zinovy Diskin

  55
  Citations

• Evaluating model testing and model checking for finding requirements violations in Simulink models

  Shiva Nejati;Khouloud Gaaloul;Claudio Menghi;Lionel C. Briand

  46
  Citations

• 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

  44
  Citations

• Can Offline Testing of Deep Neural Networks Replace Their Online Testing

  Fitash Ul Haq;Donghwan Shin;Shiva Nejati;Shiva Nejati;Lionel Claude Briand;Lionel Claude Briand

  44
  Citations