Sign in
Using Narrowing to Test Maude Specifications.
Adrián Riesco
Published in:
WRLA (2012)
Keyphrases
</>
formal specification
artificial intelligence
search engine
test data
data mining
machine learning
test cases
statistical tests
equational theories