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

Related topics

Related topics

17 relations

Broader (1)

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Optimal Concolic Testing
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 for deep neural networks
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
Abstraction-driven Concolic Testing
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
Towards Concolic Testing for Hybrid Systems
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
Concolic Testing Framework for Industrial Embedded Software
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
Boosting concolic testing via interpolation
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
Automated concolic testing of smartphone apps
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
GKLEE: concolic verification and test generation for GPUs
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
A Parallel Approach to Concolic Testing with Low-cost Synchronization
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
Hybrid Concolic Testing
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?