Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.

Karl Meinke Fei Niu

Published in: ICTSS (2011)

Keyphrases

term rewriting
machine learning
case study
real time
natural language
expert systems
distributed systems
test set
test cases
temporal logic