Lazy Symbolic Execution through Abstraction and Sub-space Search.

Guodong Li Indradeep Ghosh

Published in: Haifa Verification Conference (2013)

Keyphrases

symbolic execution
search space
test data generation
search algorithm
solution space
high level
search strategies
artificial intelligence
search strategy
metadata
software engineering
general purpose
test cases
test generation