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 16 articles )

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

  1. Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien: Sharpening constraint programming approaches for bit-vector theory (2017)
  2. Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud: Exploiting binary floating-point representations for constraint propagation (2016)
  3. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  4. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  5. Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud: A first step in the design of a formally verified constraint-based testing tool: FocalTest (2012)
  6. Qaisar, Zahid Hussain; Rehman, Shafiq Ur: A safe regression testing approach for safety critical systems (2011) ioport
  7. Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian: An alternative to SAT-based approaches for bit-vectors (2010)
  8. Jéron, Thierry: Symbolic model-based test selection (2009)
  9. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  10. 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)
  11. Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul: Specifying and generating test cases using observer automata (2005)
  12. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena: Symbolic test selection based on approximate analysis (2005)
  13. Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien: CLPS --- B --- A constraint solver to animate a B specification (2004) ioport
  14. Jézéquel, Jean-Marc; Defour, Olivier; Plouzeau, Noël: An MDA approach to tame component based software development (2004)
  15. Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real: the inhouse card case study (2003) ioport
  16. Gaudel, Marie-Claude: Testing from formal specifications, a generic approach (2001)