PragmaDev Studio


   Use case

PragmaDev and CEA LIST common laboratory aims at generating a minimum set of test cases to cover all or a part of a model.



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.