Klaus Echtle Tashko Nikolov Testing Safety Techniques by Injection of Systematically Selected Errors. 127-140 1999 conf/arcs/1999-2 ARCS Workshops db/conf/arcs/arcs1999-2.html#EchtleN99