The RAP System as a Tool for Testing COLD Specifications.

Heinrich Hußmann Alfons Geser

Published in: Algebraic Methods (1987)

Keyphrases

unit testing
case study
formal verification
software testing
artificial intelligence
test cases
open source
hidden markov models
image sequences
user friendly
software engineering
real time
decision trees
information systems
genetic algorithm
neural network
databases