Using Narrowing to Test Maude Specifications.

Published in: WRLA (2012)

Keyphrases

formal specification
artificial intelligence
search engine
test data
data mining
machine learning
test cases
statistical tests
equational theories