Test Coverage Criteria

MetaTReq: A meta-modelisation approach of test requirements

The goals of this master thesis is to define an extendable meta-model and associated DSL to describe high-level test requirements and their (optionally) associated assertions for Java programs.