Model- Driven Software Development: Technology, Engineering, Management, 2006. ,
A Meta-Model for Tests of Avionics Embedded Systems, Proceedings of MODELSWARD 2013 ? 1st International Conference on Model-Driven Engineering and Software Development, SciTePress, 9 pages, 2013. ,
Test Languages for In-the-Loop Testing of Avionic Embedded Systems, LAAS Report N°12151, 2012. ,
Version 2.3.1, 2012. ,
System Testing in the Avionics Domain, 2007. ,
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems, Formal Methods for Industrial Critical Systems, 13th International Workshop, pp.7-22, 2008. ,
DOI : 10.1109/5.97300
Version 1.1. 2012 ,
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -, Proc. international conference on testing of communicating systems, pp.289-303, 2005. ,
DOI : 10.1007/3-540-44830-6_7
A Meta-model for TTCN-3, Lecture Notes in Computer Science, vol.3236, pp.366-379, 2004. ,
DOI : 10.1007/978-3-540-31810-1_14
0 Models Using TTCN-3 and the UML2.0 Testing Profile, Proc. SDL 2007, pp.86-100, 2007. ,
Clarke: A Metamodel to Support Regression Testing of Web Applications, SEKE, vol.2008, pp.500-505 ,
On modeling approach for embedded real-time software simulation testing, Journal of Systems Engineering and Electronics, vol.20, issue.2, pp.420-426, 2009. ,
Model-Based Testing for the Second Generation of Integrated Modular Avionics Verification and Validation Workshops, Proceedings of the 2011 IEEE 4 th International Conference on Software Testing, pp.55-62, 2011. ,
Automated Testing with RT- Tester ? Theoretical Issus Driven by Practical Needs, Proceedings of FM-Tools, pp.2000-2007, 2000. ,
Feature-based survey of model transformation approaches. IBM Syst, J, vol.45, issue.3, 2006. ,