Symbolic observation graph-based generation of test paths
From MaRDI portal
Publication:6535332
Recommendations
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
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)