TY  - RPRT
TI  - Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
AU  - Teemu Kanstrén
AU  - Olli-Pekka Puolitaival
PY  - 2012
DO  - 10.4204/eptcs.80.5
UR  - https://arxiv.org/abs/1202.6122
ID  - 1202.6122
ER  -