Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2018
2018
Functional validation is one of the most time consuming steps in System-on-Chip (SoC) design methodology. In today's industrial… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
Highly Cited
2018
Highly Cited
2018
Recently, hybrid fuzzing has been proposed to address the limitations of fuzzing and concolic execution by combining both… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
2016
Highly Cited
2016
Memory corruption vulnerabilities are an everpresent risk in software, which attackers can exploit to obtain unauthorized access… Expand
  • table II
  • table IV
  • table III
  • figure 11
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2012
Highly Cited
2012
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present jFuzz, a automatic testing tool for Java programs. jFuzz is a concolic whitebox fuzzer, built on the NASA Java… Expand
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • R. Majumdar, K. Sen
  • 29th International Conference on Software…
  • 2007
  • Corpus ID: 6760091
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Abstract : CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C… Expand
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?