Compilation of Z Specifications into C for Automatic Test Result Evaluation.

Published in: ZUM (1995)

Keyphrases

semi automatic
gold standard
data sets
databases
fully automatic
evaluation process
real world
genetic algorithm
artificial neural networks
software development
statistical tests
formal specification