PragmaDev and CEA LIST common laboratory aims at generating a minimum set of test cases to cover all or a part of a model.
Outcomes
Papers
June 12, 2014 - First brochure of the tools integration.
May 15, 2014 - First integration in the latest release of RTDS.
Sep 30, 2014 - "Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY" paper during the 8th System Analysis and Modelling Conference (SAM 2014)
published by Springer in LNCS 8769.
Oct 18, 2014 - PragmaList presentation recorded during the UCAAT 2014 conference in Munich Germany.
Use case
Since PragmaList first integration a number of use cases have been conducted in a wide range of areas such as transportation, banking, or telecommunication.
Public presentations
June 14, 2016 - Webinar on Automatic and optimized test generation covering Diversity and PragmaDev modeling technologies.
June 12, 2014 - The first results of this common lab will be presented by the respective specialist from PragmaDev and CEA and will include a user feedback. This is a unique opportunity to discuss how PragmaList can help your system validation.
