SNAIL team
SNAIL team
Research
Projects
Publications
MSc Thesis
About SNAIL
About
News
Contact
People
Light
Dark
Automatic
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.
Cite
×