Strengthening Inferred Specifications using Search Based Testing.

Kamran Ghani, John A. Clark

Browse the full ICST paper archive.