Extending the test template framework for specification-based testing of interactive systems

MaRDI QIDQ4495074zbMATH OpenFDO

Authors Ian MacColl, David B. Carrington

Publication date 10 August 2000

zbMATH Keywords

interactive systems

Mathematics Subject Classification ID

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

Recommendations

• Specification for Testing
• Specifying interactive systems in Object-Z and CSP
• Specification-Based Testing for CoCasl’s Modal Specifications
• scientific article; zbMATH DE number 2084350
• scientific article; zbMATH DE number 2089333

Cited in

(4)

• Automatically testing interactive applications using extended task trees
• scientific article; zbMATH DE number 1949599 (Why is no real title available?)
• scientific article; zbMATH DE number 1931767 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Extending the test template framework for specification-based testing of interactive systems

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