An isolation approach to symbolic execution-based verification of Ada tasking programs.

Laura K. Dillon

Published in: J. Syst. Softw. (1991)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
case study
test cases
database systems
programming language
particle swarm optimization
software testing
simulated annealing algorithm