scientific article; zbMATH DE number 1487484

MaRDI QIDQ4493891zbMATH OpenFDO

Authors S. A. Schneider

Publication date 1999

zbMATH Keywords

CSP denotational semanticstesting

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Abstraction and testing in CSP
• Refusal testing
• scientific article; zbMATH DE number 3956420
• scientific article; zbMATH DE number 1735620
• Theorem Proving in Higher Order Logics

Cited in

(7)

• Model transformations across views
• Test-design through abstraction: A systematic approach based on the refinement calculus
• scientific article; zbMATH DE number 1693451 (Why is no real title available?)
• scientific article; zbMATH DE number 1735620 (Why is no real title available?)
• Guided Test Generation from CSP Models
• Abstraction and testing in CSP
• Test generation from state based use case models

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 Q4493891)