STG

STG: a tool for generating symbolic test programs and oracles from operational specifications We report on a tool we have developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications. It was applied for testing a simple version of the CEPS (Common Electronic Purse Specification).

This software is also peer reviewed by journal TOMS.


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

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

  1. Bouquet, Fabrice; Peureux, Fabien; Ambert, Fabrice: Model-based testing for functional and security test generation (2014)
  2. Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre: Test generation from state based use case models (2014)
  3. von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien: A conformance testing relation for symbolic timed automata (2010)
  4. Jéron, Thierry: Symbolic model-based test selection (2009)
  5. Krichen, Moez; Tripakis, Stavros: Conformance testing for real-time systems (2009)
  6. Rezaee, Alireza: Genetic symbiosis algorithm generating test data for constraint automata (2008)
  7. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  8. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms: a tool for the automatic synthesisof conformance test cases for non-deterministic reactive systems (2005) ioport
  9. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms (2005) ioport
  10. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena: Symbolic test selection based on approximate analysis (2005)
  11. Rusu, Vlad; Marchand, Hervé; Jéron, Thierry: Automatic verification and conformance testing for validating safety properties of reactive systems (2005)
  12. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  13. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005) ioport
  14. Graf, Susanne (ed.); Mounier, Laurent (ed.): Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings. (2004)
  15. Krichen, Moez; Tripakis, Stavros: Real-time testing with timed automata testers and coverage criteria (2004)
  16. Krichen, Moez; Tripakis, Stavros: Black-box conformance testing for real-time systems (2004)
  17. Clarke, Duncan; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena: STG: A symbolic test generation tool (2002)
  18. Garavel, Hubert; Lang, Frédéric: NTIF: A general symbolic model for communicating sequential processes with data (2002)
  19. Pickin, Simon; Jard, Claude; Le Traon, Yves; Jéron, Thierry; Jézéquel, Jean-Marc; Le Guennec, Alain: System test synthesis from UML models of distributed software (2002)