BRACE: An assertion framework for debugging cyber-physical systems.

Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim

Browse the full ICSE paper archive.