Challenges and opportunities with concolic testing

Raghudeep Kannavara; Christopher J Havlicek; Bo Chen; Mark R Tuttle; Kai Cong; Sandip Ray; Fei Xie

Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1109/naecon...

Article . 2015 . Peer-reviewed

Data sources: Crossref

https://dx.doi.org/10.1109/nae...

Article

Data sources: Microsoft Academic Graph

Challenges and opportunities with concolic testing

descriptionPublicationkeyboard_double_arrow_right Article 01 Jun 2015Publisher:IEEEJournal:2015 National Aerospace and Electronics Conference (NAECON)

Authors: Raghudeep Kannavara; Christopher J Havlicek; Bo Chen; Mark R Tuttle; Kai Cong; Sandip Ray; Fei Xie;

doi: 10.1109/naecon.2015.7443099

Challenges and opportunities with concolic testing

- Summary
- Metrics

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.

Related Organizations

Portland State University
United States
Intel (United States)
United States

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	19
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average