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.

2019

2017

As there are several approaches to define structural testing criteria for concurrent programs, it is necessary to describe the…

2016

Path-biased random testing is an interesting alternative to classical path-based approaches faced to the explosion of the number…

2015

We develop code analysis tools in order to evaluate source or low-level code. We aim two types of diagnostic: robustness or…

2014

Creating software tests with high coverage can be quite challenging. One technique to automatically do so is symbolic execution…

2013

In this paper, we present a tool, called Lego, which recovers object-oriented software architecture from stripped binaries. Lego…

2012

Concolic (Concrete+symbolic) testing is an automated test case generation technique that works on target source code. This paper…

2011

Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic…

2011

다양하고 많은 소프트웨어가 개발되고 있는 현 시장에서 소프트웨어의 질을 향상시키기 위해 적은 비용으로 효과적으로 신뢰성을 검증할 수 있는 다양한 테스팅 기법이 활발히 연구되고 있다. Concolic (Concrete+symbolic…

2011

In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In…