scientific article; zbMATH DE number 1951195

MaRDI QIDQ4413684zbMATH OpenFDO

Authors Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890263.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Using Model Checking to Generate Fault Detecting Tests
• scientific article; zbMATH DE number 1951206
• On-the-fly conformance testing using SPIN
• Data Flow Analysis and Testing of Abstract State Machines
• Automatic Testing from Formal Specifications

Cited in

(10)

• On-the-fly conformance testing using SPIN
• The ASMETA approach to safety assurance of software systems
• ASM-based formal design of an adaptivity component for a cloud system
• Data Flow Analysis and Testing of Abstract State Machines
• scientific article; zbMATH DE number 1951206 (Why is no real title available?)
• scientific article; zbMATH DE number 1951208 (Why is no real title available?)
• A data-flow approach to test multi-agent ASMs
• Using Model Checking to Generate Fault Detecting Tests
• A Logic-Based Approach to Combinatorial Testing with Constraints
• A formal logic approach to constrained combinatorial testing

Describes a project that uses

Uses Software

• SPIN

This page was built for publication:

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