testing/model learning
test cases and test verdicts
TTCN-3 semantics
OSA/parlay services and IMS testing