Fevzi Belli Michael Linschulte Ralf Zirnsak Günter Hofmann "Negativ"-Tests interaktiver Systeme und ihre Automatisierung. 35-44 2007 conf/se/2007w Software Engineering (Workshops) db/conf/se/se2007w.html#BelliLZH07