Paper Info
Title
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
Abstract
The last years have seen a fruitful exchange of ideas between automated software verification and white-box software testing; the industrial impact of concolic testing for sequential software is the most notable result of this interdisciplinary effort. While concolic testing is very successful at finding bugs, and even achieves verification in the limit, it is often hard to quantify the progress it achieves towards verification. In this paper, we survey two recent projects which aim to remedy this situation: In the FQL project, we devise a test specification language which facilitates precise specification of coverage criteria, and a separation of concerns between test specification and test case generation. In con2colic testing, we develop a concolic testing methodology for concurrent programs where progress is measured in terms of the data flow between program threads.
Year
DOI
Venue
2015
10.1109/ICST.2015.7102600
Software Testing, Verification and Validation
Keywords
Field
DocType
formal specification,program testing,specification languages,concolic execution testing,concolic testing,concurrency testing,coverage criteria specification,data flow,program thread,sequential software testing,test case generation,test specification language,white-box testing perspective,testing,systematics,automata,engines,concurrent computing,grammar
Programming language,Computer science,Manual testing,Real-time computing,White-box testing,Regression testing,Non-regression testing,Software reliability testing,Concolic testing,Test strategy,Reliability engineering,Keyword-driven testing
Conference
ISSN
Citations 
PageRank 
2159-4848
0
0.34
References 
Authors
24
3
Name
Order
Citations
PageRank
Azadeh Farzan143823.35
Andreas Holzer219713.62
Helmut Veith32476140.58