Precise pointer reasoning for dynamic test generation.

Bassem Elkarablieh Patrice Godefroid Michael Y. Levin

Published in: ISSTA (2009)

Keyphrases

test generation
test cases
image processing
static analysis
multi agent systems
dynamic environments
symbolic execution
knowledge base
knowledge representation
software engineering
reverse engineering
design automation
mutation testing