An Automated Test Generation and Execution System. - Narayan C. Debnath; Clay R. Smith; Tom Noll; Haesun K. Lee; Ilhyun Lee; Mark Burgin (CAINE, 2007)