Baris Güldali, Michael Mlynarski, Andreas Wübbeke, Gregor Engels. Model-Based System Testing Using Visual Contracts. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. pages 121-124, IEEE Computer Society, 2009. [doi]
Abstract is missing.