DSL to model test cases