STG: A symbolic test generation tool

DOI10.1007/3-540-46002-0_34MaRDI QIDQ4472265zbMATH OpenFDO

Authors Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800470.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Formal Approaches to Software Testing
• An approach to symbolic test generation
• Verification using test generation techniques
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(23)

• On-the-fly conformance testing using SPIN
• STG
• Using static analysis to improve automatic test generation
• Towards property oriented testing
• A tool for automated test code generation from high-level Petri nets
• Model-Based Test Selection for Infinite-State Reactive Systems
• Symbolic Test Generation Using a Temporal Logic with Constrained Events
• Automatic generation of conformance tests from message sequence charts
• Automatic test generation with AGATHA
• An approach to symbolic test generation
• A comparison of the BTT and TTF test-generation methods
• A typical testing problem: Validating WML cellphones
• UniTesK test suite architecture
• Verification using test generation techniques
• Model-Based Testing for Functional and Security Test Generation
• Generating Unit Tests from Formal Proofs
• Guided Test Generation from CSP Models
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Approaches to Software Testing
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• Conformance testing for real-time systems

This page was built for publication: STG: A symbolic test generation tool

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472265)