Lionel C. Briand. Tackling Model-Based Software Testing and Verification as a Search Problem. In Marouane Kessentini, Philip Langer, Houari A. Sahraoui, editors, Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013. Volume 1104 of CEUR Workshop Proceedings, pages 1, CEUR-WS.org, 2013. [doi]
Abstract is missing.