Improving Dynamic Partial Order Reductions for Concolic Testing.

Olli Saarikivi Kari Kähkönen Keijo Heljanko

Published in: ACSD (2012)

Keyphrases

partial order
partially ordered
total order
conceptual graphs
set theory
lattice structure
partial ordering
dynamic environments
test cases
dominance relation
totally ordered
causal links