Fault coverage-driven incremental test generation - Simao, Adenilso.