Reachability testing of monitor-based programs.

Yu Lei Richard H. Carver

Published in: IASTED Conf. on Software Engineering and Applications (2004)

Keyphrases

symbolic execution
test cases
real time
state space
monitoring system
databases
computer vision
static analysis
fixpoint
automatic programming
multiscale
test data
transitive closure
test data generation
concurrent programs