TTCN-3.

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

reverse engineering
test suite
description language
software engineering
test cases
databases
data sets
machine learning
feature space
formal specification