ATLAS - An Automated Software Testing System.

W. H. Jessop, J. Richard Kane, S. Roy, J. M. Scanlon

Browse the full ICSE paper archive.