Tamim Ahmed Khan, Olga Runge, Reiko Heckel. Testing against Visual Contracts: Model-Based Coverage. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Volume 7562 of Lecture Notes in Computer Science, pages 279-293, Springer, 2012. [doi]
Abstract is missing.