most citedCoverage Criteria for Model-Based Testing using Property Patterns

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2014★ 5 cited

Coverage Criteria for Model-Based Testing using Property Patterns

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated…