Test Generation Driven by User-defined Fault Models. - I. Koufareva; Alexandre Petrenko; Nina Yevtushenko 001 (IWTCS, 1999)