Login / Signup
Formal Test Automation: A Simple Experiment.
Axel Belinfante
Jan Feenstra
René G. de Vries
Jan Tretmans
Nicolae Goga
Loe M. G. Feijs
Sjouke Mauw
Lex Heerink
Published in:
IWTCS (1999)
Keyphrases
</>
machine learning
highly reliable
information retrieval
search algorithm
expert systems
artificial intelligence
image processing
training data
data structure
digital libraries
formal methods