Symbolic test selection based on approximate analysis

DOI10.1007/978-3-540-31980-1_23MaRDI QIDQ5703771zbMATH OpenOpenAlexFDO

Authors Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Publication date 10 November 2005

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic Model-based Test Selection
• Model-Based Test Selection for Infinite-State Reactive Systems
• An approach to symbolic test generation
• Test generation based on symbolic specifications
• STG: A symbolic test generation tool

Cited in

(14)

• Extending abstract acceleration methods to data-flow programs with numerical inputs
• Association of under-approximation techniques for generating tests from models
• Tester versus bug: a generic framework for model-based testing via games
• A Semantic Framework for Test Coverage
• Generating Tests from B Specifications and Test Purposes
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Applying abstract acceleration to (co-)reachability analysis of reactive programs
• An approach to symbolic test generation
• STG: A symbolic test generation tool
• Symbolic Model-based Test Selection
• Generating tests from B specifications and dynamic selection criteria
• Decentralized control of infinite systems
• Coverage-based testing with symbolic transition systems
• A formal abstract framework for modelling and testing complex software systems

Describes a project that uses

Uses Software

• GATeL
• STG

This page was built for publication: Symbolic test selection based on approximate analysis

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