Challenges and opportunities with concolic testing

Raghudeep Kannavara, Christopher J Havlicek, Bo Chen, Mark R Tuttle, Kai Cong, Sandip Ray, Fei Xie
<span title="">2015</span> <i title="IEEE"> 2015 National Aerospace and Electronics Conference (NAECON) </i> &nbsp;
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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/naecon.2015.7443099">doi:10.1109/naecon.2015.7443099</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n757pypszveyhefimvoy6r3xte">fatcat:n757pypszveyhefimvoy6r3xte</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160413140019/http://www.markrtuttle.com/data/papers/kannavara-havlicek-chen-tuttle-naecon15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d3/ea/d3eafcb5c619afefa047041de1ccc5feb948dbd5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/naecon.2015.7443099"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>