Efficient Software Verification: Statistical Testing using Automated Search (2010)

by S M Poulding, J A Clark
Venue:IEEE Transactions on Software Engineerig