DMCA

Efficient Software Verification: Statistical Testing Using Automated Search

by Simon Poulding , John A. Clark
Citations:11 - 5 self