An Automated Test Generation and Execution System.

Narayan C. Debnath, Clay R. Smith, Tom Noll, Haesun K. Lee, Ilhyun Lee, Mark Burgin

Browse the full CAINE paper archive.