Generating Tests from B Specifications and Test Purposes

DOI10.1007/978-3-540-87603-8_12MaRDI QIDQ3535370zbMATH OpenOpenAlexFDO

Authors Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Publication date 11 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87603-8_12

zbMATH Keywords

IAS case studymodel-based testingtest purpose

Mathematics Subject Classification ID

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

Recommendations

• Generating tests from B specifications and dynamic selection criteria
• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 2080007
• Formal Approaches to Software Testing
• Guided Test Generation from CSP Models

Cites work

• A mini challenge: build a verifiable filesystem
• The B-Book
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• scientific article; zbMATH DE number 2080007 (Why is no real title available?)
• scientific article; zbMATH DE number 2090128 (Why is no real title available?)
• Generating tests from B specifications and dynamic selection criteria
• Guided Test Generation from CSP Models
• Formal Approaches to Software Testing

This page was built for publication: Generating Tests from B Specifications and Test Purposes

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