Test generation based on symbolic specifications

DOI10.1007/978-3-540-31848-4_1MaRDI QIDQ5710638zbMATH OpenOpenAlexFDO

Authors Lars Frantzen, Jan Tretmans, T. A. C. Willemse

Publication date 2 December 2005

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

Full work available at URL https://doi.org/10.1007/b106767

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An approach to symbolic test generation
• STG: A symbolic test generation tool
• Symbolic Execution Techniques for Test Purpose Definition
• scientific article; zbMATH DE number 938070
• Symbolic Model-based Test Selection

Cited in

(28)

• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• Towards property oriented testing
• Test generation from recursive tiles systems
• Testing state design pattern implementations with symbolic execution
• Symbolic Execution Techniques for Test Purpose Definition
• Symbolic Test Generation Using a Temporal Logic with Constrained Events
• Generating Tests from B Specifications and Test Purposes
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• An approach to symbolic test generation
• STG: A symbolic test generation tool
• Testing transition systems: An annotated bibliography
• Improving active Mealy machine learning for protocol conformance testing
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Symbolic execution of transition systems with function summaries
• Symbolic Model-based Test Selection
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Complete model-based equivalence class testing for nondeterministic systems
• Model-Based Testing for Functional and Security Test Generation
• Generating tests from B specifications and dynamic selection criteria
• Symbolic Execution Techniques for Refinement Testing
• Symbolic test selection based on approximate analysis
• Exhaustive property oriented model-based testing with symbolic finite state machines
• Proof-guided test selection from first-order specifications with equality
• Symbolic observation graph-based generation of test paths
• Coverage-based testing with symbolic transition systems
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

Describes a project that uses

Uses Software

• TorX
• QuickCheck

This page was built for publication: Test generation based on symbolic specifications

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