@article{article, title  = {{Efficient Software Verification: Statistical Testing Using Automated Search}},

 publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}},

 url = {{}},

 year = {{2010}},

 month = {{1}},

 author = {{Poulding S and Clark JA}},

 doi = {{10.1109/tse.2010.24}},

 volume = {{36}},

 journal = {{IEEE Transactions on Software Engineering}},

 issue = {{6}},

 pages = {{763-777}},

 note = {{Accessed on 2024/10/23}}}