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 17 articles , 1 standard article )

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

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