Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson. A Model-Based Testing Framework for Automotive Embedded Systems. In 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, August 27-29, 2014. pages 38-47, IEEE, 2014. [doi]
Abstract is missing.