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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Concolic testing integrates concrete execution (e.g., random testing) and symbolic execution for test case generation. It is… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2018
2018
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. In this… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2016
2016
ion-driven Concolic Testing‹ Przemys law Daca, Ashutosh Gupta, and Thomas A. Henzinger 1 IST Austria, Austria 2 Tata Institute… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2016
2016
Hybrid systems exhibit both continuous and discrete behavi or. Analyzing hybrid systems is known to be hard. Inspired by the id… (More)
  • figure 1
  • table 1
Is this relevant?
2014
2014
Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • table III
Is this relevant?
2013
2013
Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Programs written for GPUs often contain correctness errors such as races, deadlocks, or may compute the wrong result. Existing… (More)
  • figure 1
  • figure 4
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2011
2011
This paper presents a practical approach to parallelize the test data generation algorithm by which computing resources can be… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?