Matching and merging of statecharts specifications S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave 29th International Conference on Software Engineering (ICSE'07), 54-64, 2007 | 381 | 2007 |
Testing vision-based control systems using learnable evolutionary algorithms RB Abdessalem, S Nejati, LC Briand, T Stifter Proceedings of the 40th International Conference on Software Engineering …, 2018 | 276 | 2018 |
Testing advanced driver assistance systems using multi-objective search and neural networks R Ben Abdessalem, S Nejati, LC Briand, T Stifter Proceedings of the 31st IEEE/ACM international conference on automated …, 2016 | 231 | 2016 |
A manifesto for model merging G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh Proceedings of the 2006 international workshop on Global integrated model …, 2006 | 215 | 2006 |
Testing autonomous cars for feature interaction failures using many-objective search RB Abdessalem, A Panichella, S Nejati, LC Briand, T Stifter Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 183 | 2018 |
The case for context-driven software engineering research: generalizability is overrated L Briand, D Bianculli, S Nejati, F Pastore, M Sabetzadeh IEEE Software 34 (5), 72-75, 2017 | 138 | 2017 |
Consistency checking of conceptual models via model merging M Sabetzadeh, S Nejati, S Liaskos, S Easterbrook, M Chechik 15th IEEE International Requirements Engineering Conference (RE 2007), 221-230, 2007 | 122 | 2007 |
Automated test suite generation for time-continuous simulink models R Matinnejad, S Nejati, LC Briand, T Bruckmann proceedings of the 38th International Conference on Software Engineering …, 2016 | 115 | 2016 |
Runtime monitoring of web service conversations J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ... IEEE Transactions on Services Computing 2 (3), 223-244, 2009 | 114 | 2009 |
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies S Nejati, M Sabetzadeh, D Falessi, L Briand, T Coq Information and Software Technology 54 (6), 569-590, 2012 | 105 | 2012 |
Test generation and test prioritization for simulink models with dynamic behavior R Matinnejad, S Nejati, LC Briand, T Bruckmann IEEE Transactions on Software Engineering 45 (9), 919-944, 2018 | 92 | 2018 |
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification C Menghi, S Nejati, L Briand, YI Parache Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 86 | 2020 |
Search-based automated testing of continuous controllers: Framework, tool support, and case studies R Matinnejad, S Nejati, L Briand, T Bruckmann, C Poull Information and Software Technology 57, 705-722, 2015 | 82 | 2015 |
Testing the untestable: model testing of complex software-intensive systems L Briand, S Nejati, M Sabetzadeh, D Bianculli Proceedings of the 38th international conference on software engineering …, 2016 | 73 | 2016 |
Traceability and SysML design slices to support safety inspections: A controlled experiment L Briand, D Falessi, S Nejati, M Sabetzadeh, T Yue ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-43, 2014 | 73 | 2014 |
Comparing offline and online testing of deep neural networks: An autonomous car case study FU Haq, D Shin, S Nejati, LC Briand 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 67 | 2020 |
Generating automated and online test oracles for simulink models with continuous and uncertain behaviors C Menghi, S Nejati, K Gaaloul, LC Briand Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 67 | 2019 |
A relationship-based approach to model integration M Chechik, S Nejati, M Sabetzadeh Innovations in Systems and Software Engineering 8, 3-18, 2012 | 61 | 2012 |
Runtime monitoring of web service conversations Y Gan, M Chechik, S Nejati, J Bennett, B O'Farrell, J Waterhouse Proceedings of the 2007 conference of the center for advanced studies on …, 2007 | 58 | 2007 |
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach SY Shin, S Nejati, M Sabetzadeh, LC Briand, F Zimmer Proceedings of the 27th acm sigsoft international symposium on software …, 2018 | 53 | 2018 |