Architecture Analysis of Systems based on Publish-Subscribe Systems
Assessing Model-Based Testing: An Empirical Study Conducted in Industry
Automated Test Case Generation and Execution from Models
Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study
Ivv workshop model-based-testing-of-nasa-systems
Model-based Testing of a Software Bus - Applied on Core Flight Executive
© Fraunhofer IAO Stuttgart / IAT Universität Stuttgart Slide: 1 Fraunhofer IAO, Germany From Concept to New Product NITM International Seminar Series A.
1 © 2014 Fraunhofer USA, Inc. Center for Experimental Software Engineering Model-based Testing of a Software Bus applied on Core Flight Executive Dharmalingam.
1 © 2015 Fraunhofer USA, Inc. Center for Experimental Software Engineering Requirement-driven Model-based Testing of the cFS’ Software Bus Service Dharma.
Linda Esker Kathleen Dangle Fraunhofer Center Maryland