Software assurance by bounded exhaustive testing.

Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson

Browse the full ISSTA paper archive.