Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus

2016 ◽  
Author(s):  
Dharmalingam Ganesan ◽  
Mikael Lindvall ◽  
Stefan Hafsteinsson ◽  
Rance Cleaveland ◽  
Susanne L. Strege ◽  
...  
Keyword(s):  
Experience Report ◽  
Test Automation ◽  
Model Based ◽  
Software Bus

Towards Model-Based Test automation for embedded systems using UML and UTP

ETFA2011 ◽  
2011 ◽  
Author(s):  
Padma Iyenghar ◽  
Elke Pulvermueller ◽  
Clemens Westerkamp
Keyword(s):  
Embedded Systems ◽  
Test Automation ◽  
Model Based

scholarly journals Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

2014 ◽  
Vol 80 ◽  
pp. 188-209 ◽  
Author(s):  
M. Sijtema ◽  
A. Belinfante ◽  
M.I.A. Stoelinga ◽  
L. Marinelli
Keyword(s):  
Engineering Model ◽  
Model Based ◽  
Software Bus
Sign in / Sign up

Export Citation Format

Share Document