GATeL: Automatic Test Generation from Lustre Descriptions GATeL is a tool developed by the French Nuclear Research Agency (CEA). Its main objective is to automate the testing phase of critical control applications. The key point here is that automation is not used as a means for generating numerous test cases, but rather helps to exercise truly problematic cases. GATe has been implemented GATeL is currently in use by the French Nuclear Certification Agency, and in avionics and automotive research centres.

References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud: Exploiting binary floating-point representations for constraint propagation (2016)
  2. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015)
  3. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  4. Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud: A first step in the design of a formally verified constraint-based testing tool: FocalTest (2012)
  5. Qaisar, Zahid Hussain; Rehman, Shafiq Ur: A safe regression testing approach for safety critical systems (2011)
  6. Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian: An alternative to SAT-based approaches for bit-vectors (2010)
  7. Blanc, Benjamin; Junke, Christophe; Marre, Bruno; Le Gall, Pascale; Andrieu, Olivier: Handling state-machines specifications with gatel (2010)
  8. Jéron, Thierry: Symbolic model-based test selection (2009)
  9. Du Bousquet, Lydie; Delaunay, Michel: Towards mutation analysis for lustre programs. (2008)
  10. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  11. Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno: Testing from algebraic specifications: Test data set selection by unfolding axioms (2006)
  12. Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul: Specifying and generating test cases using observer automata (2005)
  13. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena: Symbolic test selection based on approximate analysis (2005)
  14. Marre, Bruno; Blanc, Benjamin: Test selection strategies for lustre descriptions in gatel. (2005)
  15. Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien: CLPS --- B --- A constraint solver to animate a B specification (2004)
  16. Jézéquel, Jean-Marc; Defour, Olivier; Plouzeau, Noël: An MDA approach to tame component based software development (2004)
  17. Philipps, Jan; Pretschner, Alexander; Slotosch, Oscar; Aiglstorfer, Ernst; Kriebel, Stefan; Scholl, Kai: Model-based test case generation for smart cards. (2003)
  18. Gaudel, Marie-Claude: Testing from formal specifications, a generic approach (2001)