Wolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn. Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. Elektrotechnik und Informationstechnik, 127(6):181-186, 2010. [doi]
Abstract is missing.