Challenges and Opportunities with Concolic Testing

Abstract

Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive. In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where concolic testing can find renewed applicability.

Extracted Key Phrases

1 Figure or Table

Cite this paper

@inproceedings{Kannavara2015ChallengesAO, title={Challenges and Opportunities with Concolic Testing}, author={Raghudeep Kannavara and Christopher J Havlicek and Bo Chen and Mark R. Tuttle and Kai Cong and Sandip Ray and Fei Xie}, year={2015} }