Publications
Jan Peleska. Experimental evaluation of a novel equivalence class partition testing strategy. In Jasmin Christian Blanchette and Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference [...] Distributed Hybrid Real-Time Systems. In Forms ’99 - Formale Techniken für die Eisenbahnsicherung FortschrittBerichte VDI, Reihe 12, Nr. 436, pages 263–271. VDI-Verlag, Düsseldorf, 2000 1999 A. E. Haxthausen and