Diagnosis of Runtime Property Violations.

Marco Bozzano, Alessandro Cimatti, Alberto Sambrotta, Stefano Tonetta

Browse the full SAFECOMP paper archive.