Symbolic observation graph-based generation of test paths

DOI10.1007/978-3-031-38828-6_8MaRDI QIDQ6535332zbMATH OpenFDO

Authors Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Publication date 12 December 2023

zbMATH Keywords

Petri netsmodel-based testingtransition coverage

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2080058
• A tool for automated test code generation from high-level Petri nets
• Coverage-based testing with symbolic transition systems

Cites work

• A tool for automated test code generation from high-level Petri nets
• Automated Technology for Verification and Analysis
• Binary Decision Diagrams
• Efficient strategies for CEGAR-based model checking
• MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
• Partial-Order Reduction for Supervisory Controller Synthesis
• Sequential and distributed on-the-fly computation of weak tau-confluence
• State space reduction based on live variables analysis.
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• scientific article; zbMATH DE number 5734815 (Why is no real title available?)

This page was built for publication: Symbolic observation graph-based generation of test paths

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