Publications
Mangels and Jan Peleska. Ctgen - a unit test generator for c. In Franck Cassez, Ralf Huuck, Gerwin Klein, and Bastian Schlich, editors, Proceedings Seventh Conference on Systems Software Verification, Sydney [...] Test automation of safety-critical reactive systems. South African Computer Jounal, 19:53–77, 1997 Bettina Buth, Michel Kouvaras, Jan Peleska, and Hui Shi. Deadlock analysis for a fault-tolerant system. In