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

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

1 2 next

  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. Dadeau, Frédéric; Tissot, Régis: Jsynopsys - A scenario-based testing tool based on the symbolic animation of B machines (2009)
  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. Calame, Jens R.; Ioustinova, Natalia; Van De Pol, Jaco: Automatic model-based generation of parameterized test cases using data abstraction. (2007)
  8. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad: Model-based test selection for infinite-state reactive systems (2007)
  9. Machado, Patrícia D.L.; Silva, Daniel A.; Mota, Alexandre: Towards property oriented testing. (2007)
  10. Da Silva, Daniel Aguiar; Machado, Patrícia D.L.: Towards test purpose generation from CTL properties for reactive systems. (2006)
  11. Jard, Claude; Jéron, Thierry: TGV: theory, principles and algorithms (2005)
  12. 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)
  13. Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena: Symbolic test selection based on approximate analysis (2005)
  14. Khoumsi, Ahmed: Complete test graph synthesis for symbolic real-time systems. (2005)
  15. Rusu, Vlad; Marchand, Hervé; Jéron, Thierry: Automatic verification and conformance testing for validating safety properties of reactive systems (2005)
  16. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005)
  17. Turner, Kenneth J.: Test generation for radiotherapy accelerators (2005)
  18. Graf, Susanne (ed.); Mounier, Laurent (ed.): Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings. (2004)
  19. Krichen, Moez; Tripakis, Stavros: Black-box conformance testing for real-time systems (2004)
  20. Krichen, Moez; Tripakis, Stavros: Real-time testing with timed automata testers and coverage criteria (2004)

1 2 next