Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution.

Kari Kähkönen Keijo Heljanko

Published in: ACSD (2014)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
test cases
neural network
decision trees
software testing
case study
open source
orders of magnitude
machine vision