Divergence in testing and readiness semantics.

Michele Boreale Rocco De Nicola Rosario Pugliese

Published in: Theor. Comput. Sci. (2001)

Keyphrases

formal semantics
semantic information
update semantics
relative entropy
test cases
logic programming
neural network
distance measure
web services
genetic algorithm
real time
semantic relationships
test suite
software testing
information retrieval
transformation rules
nonmonotonic logics
databases