Coverage-based testing with symbolic transition systems

DOI10.1007/978-3-030-31157-5_5MaRDI QIDQ6536171zbMATH OpenFDO

Authors Petra van Den Bos, Jan Tretmans

Publication date 5 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31157-5_5

Mathematics Subject Classification ID

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

Recommendations

• Formal Approaches to Software Testing
• Symbolic Model-based Test Selection
• scientific article; zbMATH DE number 1852156
• Model-Based Mutation Testing of Reactive Systems
• scientific article; zbMATH DE number 2080058

Cites work

• Complete model-based equivalence class testing for nondeterministic systems
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Maude: specification and programming in rewriting logic
• Symbolic execution and program testing
• Symbolic Execution Techniques for Test Purpose Definition
• Tester versus bug: a generic framework for model-based testing via games
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• Symbolic observation graph-based generation of test paths
• Towards efficient data-flow test data generation
• A case in point: verification and testing of a EULYNX interface

This page was built for publication: Coverage-based testing with symbolic transition systems

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