Challenges and opportunities with concolic testing
Raghudeep Kannavara, Christopher Havlicek, Bo Chen, Mark R. Tuttle, Kai Cong, Sandip Kumar Ray, Fei Xie · 2015
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.