Skip to search formSkip to main contentSkip to account menu

Concolic testing

Known as: Concolic, Concolic execution 
Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System… 
2016
2016
Testing software based on symbolic execution is a promising and well-researched approach. Recently, various dynamic symbolic… 
2015
2015
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one… 
2015
2015
In this paper we propose a framework to compute MC/DC percentage for distributed test case generation. MC/DC stands for Modified… 
2012
2012
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to… 
2011
2011
Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic… 
2010
2010
Flash memory has become a virtually indispensable component for mobile devices in today's information society. However… 
2008
2008
fortes que nous illus-trons sur un exemple complexe. Ce mod`ele est, `a notre connaissance, le premier mod`ele `a contraintes…