A Formal Behavioral Semantics for TestML

Jürgen Grossmann, Wolfgang Müller. A Formal Behavioral Semantics for TestML. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 441-448, IEEE, 2006. [doi]

Abstract

Abstract is missing.