Amit M. Paradkar: A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques. Inf. Softw. Technol. 48(10): 949-959 (2006)