Localizing Faults in Simulink/Stateflow Models with STL. - Ezio Bartocci; Thomas Ferrère; Niveditha Manjunath; Dejan Nickovic (HSCC, 2018)

Production Tests Coverage Analysis in the Simulation Environment. - Niveditha Manjunath; Dieter Haerle; Stephen Sabanal; Herbert Eichinger; Hermann Tauber; Andreas Machne; Christian Manthey; Mikko Vaananen; Radu Grosu; Dejan Nickovic (ITC, 2018)

Automatic Failure Explanation in CPS Models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (SEFM, 2019)

CPSDebug: a tool for explanation of failures in cyber-physical systems. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic; Fabrizio Pastore (ISSTA, 2020)

Adaptive Testing for Specification Coverage. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (CoRR, 2020)

Adaptive Testing for Specification Coverage in CPS Models. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (ADHS, 2021)

CPSDebug: Automatic failure explanation in CPS models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2021)