Test Generation for State Retention Logic.

Krishna Chakravadhanula Vivek Chickermane Brion L. Keller Patrick R. Gallagher Jr.Steven Gregor

Published in: ATS (2008)

Keyphrases

test generation
long term
modal logic
computer vision
image processing
case study
test cases
database systems
multi agent
static analysis
quality assurance
symbolic execution