Testing Ada 95 Programs for Conformance to Rapide Architectures.

Published in: Ada-Europe (1996)

Keyphrases

fixpoint
logic programs
answer sets
test cases
prolog programs
neural network
bayesian networks
database
real time
data mining
genetic algorithm
programming language
symbolic execution