Characterizing termination in LOTOS via testing.

David de Frutos-Escrig Manuel Núñez Juan Quemada

Published in: PSTV (1995)

Keyphrases

term rewriting
real time
information retrieval
test cases
real world
machine learning
learning algorithm
image processing
training set
software testing