Test-Case Generation with IOGen. - Timothy E. Lindquist; Joyce R. Jenkins (IEEE Softw., 1988)