Property and Equivalence Testing on Strings

Eldar Fischer Frédéric Magniez Michel de Rougemont

Published in: Electron. Colloquium Comput. Complex. (2004)

Keyphrases

desirable properties
neural network
information systems
database systems
similarity measure
bayesian networks
objective function
lower bound
test data
software testing
test generation