Reachability Testing of Semaphore-Based Programs.

Yu Lei Richard H. Carver

Published in: COMPSAC (2004)

Keyphrases

symbolic execution
state space
computer programs
source code
test cases
test generation
information retrieval
multi agent
data sets
data mining
similarity measure
open source
software testing
automatic programming
control structures
concurrent programs