Symbolic observation graph-based generation of test paths

DOI10.1007/978-3-031-38828-6_8zbMATH Open1541.68221MaRDI QIDQ6535332

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

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)

Cites Work

• Sequential and distributed on-the-fly computation of weak tau-confluence
• State space reduction based on live variables analysis.
• Efficient strategies for CEGAR-based model checking
• A Tool for Automated Test Code Generation from High-Level Petri Nets
• MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
• Binary Decision Diagrams
• Partial-Order Reduction for Supervisory Controller Synthesis
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems

Related Items (1)

Title not available (Why is that?)

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)