Symbolic observation graph-based generation of test paths

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

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

Publication date: 12 December 2023

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

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

• Binary Decision Diagrams
• Sequential and distributed on-the-fly computation of weak tau-confluence
• MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• 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
• Partial-Order Reduction for Supervisory Controller Synthesis

Cited In (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)