Niveditha Manjunath

According to our database, Niveditha Manjunath authored at least 7 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Adaptive Testing for Specification Coverage in CPS Models.

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Adaptive Testing for Specification Coverage.

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

CoRR, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Automatic Failure Explanation in CPS Models.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

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

Proceedings of the IEEE International Test Conference, 2018

Localizing Faults in Simulink/Stateflow Models with STL.

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018