Symbolic Execution with Abstract Subsumption Checking.

Saswat Anand Corina S. Pasareanu Willem Visser

Published in: SPIN (2006)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
description logics
data flow
neural network
model checking
np complete
open source
object oriented
high level
distributed systems
artificial intelligence
databases