Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.

Published in: SEFM Workshops (2014)

Keyphrases

partial order
symbolic execution
partially ordered
total order
static analysis
lattice structure
source code
specification language
data mining
search algorithm
data flow
test generation
totally ordered
domain independent
preference relations
test data generation