AGATHA

This tool demonstration paper describes the AGATHA toolset, developed at CEA/LIST. It is an automated test generator for specifications of communicating concurrent units described using an EIOLTS (Extended Input Output Labeled Transition System) formalism which can be extracted, for example, from UML specification


References in zbMATH (referenced in 10 articles , 1 standard article )

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

  1. Rapin, Nicolas: Symbolic execution based model checking of open systems with unbounded variables (2009)
  2. Labbé, Sébastien; Gallois, Jean-Pierre: Slicing communicating automata specifications: Polynomial algorithms for model reduction (2008)
  3. Le Dang, Hung; Dubois, Hubert; Gérard, Sébastien: Towards a traceability model in a MARTE-based methodology for real-time embedded systems (2008)
  4. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  5. Bigot, Céline; Faivre, Alain; Gaston, Christophe; Simon, Julien: Automatic test generation on a (U)SIM smart card (2006)
  6. Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul: Specifying and generating test cases using observer automata (2005)
  7. Hartmann, Jean; Vieira, Marlon; Foster, Herbert; Ruder, Axel: A uml-based approach to system testing (2005)
  8. Bigot, Céline; Faivre, Alain; Gallois, Jean-Pierre; Lapitre, Arnault; Lugato, David; Pierron, Jean-Yves; Rapin, Nicolas: Automatic test generation with AGATHA (2003)
  9. Lugato, David; Bigot, Céline; Valot, Yannick; Gallois, Jean-Pierre; Gérard, Sébastien; Terrier, François: Validation and automatic test generation on UML models: the AGATHA approach (2003)
  10. Lugato, David; Bigot, Céline; Valot, Yannick: Validation and automatic test generation on UML models: The AGATHA approach. (2002)