A program testing assistant for BASIC-PLUS.

Mee Yee Chan Siu-Yuen Yam

Published in: ACM SIGSOFT Softw. Eng. Notes (1984)

Keyphrases

test cases
symbolic execution
databases
program execution
computer programs
search based software testing
programming environment
genetic algorithm
static analysis
automatic programming
statistical tests
test bed
software testing
decision making
control program
real world
neural network