Improving model-based verification of embedded systems by analyzing component dependences. - Sebastian Siegl; Philipp Caliebe (SIES, 2011)

Dependency-Based Test Case Selection and Prioritization in Embedded Systems. - Philipp Caliebe; Thomas Herpel; Reinhard German (ICST, 2012)