Abstract
In aspiration of automated software testing, a common task is the derivation of test cases from models. The wealth of different
test criteria, model formalisms, and testing strategies makes reusability of such test generation tools a very challenging
task. Leveraging the flexibility offered by the Eclipse Rich Client Platform, we present a new test generation tool that achieves
reusability by abstracting from specific details of the test generation, and by matching these features with Eclipse extensions.
The resulting tool allows the configuration of different backends for extracting tests from models, input languages, test
strategies, and test criteria via plug-ins.
[download the pdf file]