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)

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)

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)

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)

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)

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)