Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.

James M. Morris Mark Howard

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
neural network
artificial intelligence
simulated annealing algorithm
databases
real world
high level
test cases
description language