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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System…

2016

Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea…

2016

Testing software based on symbolic execution is a promising and well-researched approach. Recently, various dynamic symbolic…

2015

Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one…

2015

Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream…

2014

Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming…

2013

2012

The branch information is disclosed during software execution. In a malicious host, adversaries could collect predicates from…

2010

Flash memory has become a virtually indispensable component for mobile devices in today's information society. However…

2008

fortes que nous illus-trons sur un exemple complexe. Ce mod`ele est, `a notre connaissance, le premier mod`ele `a contraintes…