Fault coverage-driven incremental test generation - Simão, Adenilso da Silva; Petrenko, Alexandre (The Computer Journal Advance Access, 2010)