Challenges and opportunities with concolic testing
2015 National Aerospace and Electronics Conference (NAECON)(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.
更多查看译文
关键词
concolic testing,security testing,dynamic analysis,pre-silicon validation,malware analysis,firmware testing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要