Paper Info
Title
Automated Test Generation and Verified Software
Abstract
Testing remains the principal means of verification in commercial practice and in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challenges in this area.
Year
DOI
Venue
2005
10.1007/978-3-540-69149-5_18
VSTTE
Keywords
Field
DocType
certification regime,formal method,verified software,research challenge,principal mean,automated test generation,commercial practice,test case
Programming language,Software engineering,Test Management Approach,Computer science,Exploit,Software,Test case,Formal methods,Certification,Keyword-driven testing
Conference
Volume
ISSN
Citations 
4171
0302-9743
10
PageRank 
References 
Authors
1.02
39
1
Name
Order
Citations
PageRank
John Rushby12459235.69