A Stateful Approach to Testing Monitors in Multithreaded Programs.

Richard H. Carver Jeff Lei

Published in: HASE (2010)

Keyphrases

symbolic execution
multi user
data structure
programming environment
genetic algorithm
information systems
logic programming
computer programs
parallel programming
publish subscribe
multithreading
program execution
test data generation