X and PEX Programming.

Spencer W. Thomas

Published in: Advances in Computer Graphics (1990)

Keyphrases

symbolic execution
programming language
static analysis
test data generation
programming environment
evolutionary algorithm
test generation
object oriented
source code
error rate
domain independent
object oriented programming
computer programming