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)

Related topics

Related topics

17 relations

Broader (1)

Automated theorem proving
Boolean satisfiability problemCode coverageConstraint logic programmingDepth-first search

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Anxiety: A Dynamic Symbolic Execution Framework
This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System… 
2016
2016
Experience Report: White Box Test Case Generation for Automotive Embedded Software
Testing software based on symbolic execution is a promising and well-researched approach. Recently, various dynamic symbolic… 
2016
2016
AUTOMATIC VETTING FOR MALICE IN ANDROID PLATFORMS IOWA STATE UNIVERSITY MAY 2016 FINAL TECHNICAL REPORT APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED
2015
2015
Evaluating Initial Inputs for Concolic Testing
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one… 
2015
2015
SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing
In this paper we propose a framework to compute MC/DC percentage for distributed test case generation. MC/DC stands for Modified… 
2013
2013
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
2012
2012
MAGIC: Path-Guided Concolic Testing
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to… 
2011
2011
Target-Directed Concolic Testing
Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic… 
2010
2010
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today's information society. However… 
2008
2008
Raisonnement `a contraintes pour le test de bytecode Java
fortes que nous illus-trons sur un exemple complexe. Ce mod`ele est, `a notre connaissance, le premier mod`ele `a contraintes… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)