TY  - JOUR

T1  - Efficient Software Verification: Statistical Testing Using Automated Search

JO  - IEEE Transactions on Software Engineering

PY  - 2010/01/01

AU  - Poulding S

AU  - Clark JA

ED  - 

DO  - DOI: 10.1109/tse.2010.24

PB  - Institute of Electrical and Electronics Engineers (IEEE)

VL  - 36

IS  - 6

SP  - 763

EP  - 777

Y2  - 2024/12/22

ER  -