@article{article0db2273b,
title   = {Fault coverage-driven incremental test generation},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre},
year = {2010},
doi = {10.1093/comjnl/bxp073},
journal   = {The Computer Journal Advance Access}
}