On Combining Model-Based Analysis and Testing

Mehrdad Saadatmand, Mikael Sjödin. On Combining Model-Based Analysis and Testing. In Shahram Latifi, editor, Tenth International Conference on Information Technology: New Generations, ITNG 2013, 15-17 April, 2013, Las Vegas, Nevada, USA. pages 260-266, IEEE, 2013. [doi]

Abstract

Abstract is missing.