Qaisar A. Malik, Dragos Truscan, Johan Lilius. Using UML Models and Formal Verification in Model-Based Testing. In Roy Sterritt, Brandon Eames, Jonathan Sprinkle, editors, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. pages 50-56, IEEE Computer Society, 2010. [doi]
Abstract is missing.