G Fraser, A Arcuri - Empirical Software Engineering, 2014 - eprints.whiterose.ac.uk
Without complete formal specification, automatically generated software tests need to be
manually checked in order to detect faults. This makes it desirable to produce the strongest …