Title :
Challenges and opportunities with concolic testing
Author :
Raghudeep Kannavara;Christopher J Havlicek;Bo Chen;Mark R Tuttle;Kai Cong;Sandip Ray;Fei Xie
Author_Institution :
Intel Corporation, 2111 NE 25 Ave, Hillsboro, OR, USA 97124
fDate :
6/1/2015 12:00:00 AM
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.
Keywords :
Decision support systems
Conference_Titel :
Aerospace and Electronics Conference (NAECON), 2015 National
Electronic_ISBN :
2379-2027
DOI :
10.1109/NAECON.2015.7443099
