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

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

Browse the full ISSTA paper archive.