Generating tests from B specifications and dynamic selection criteria

DOI10.1007/S00165-009-0132-9MaRDI QIDQ539227zbMATH OpenOpenAlexFDO

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

Publication date 27 May 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-009-0132-9

zbMATH Keywords

IAS case studymodel-based testingtest purpose

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generating Tests from B Specifications and Test Purposes
• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 2080007
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Approaches to Software Testing

Cites work

• A mini challenge: build a verifiable filesystem
• Formal Approaches to Software Testing
• Generating Tests from B Specifications and Test Purposes
• Model-based testing of reactive systems. Advanced lectures.
• The B-Book
• Tools and Algorithms for the Construction and Analysis of Systems
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(3)

• Generating Tests from B Specifications and Test Purposes
• scientific article; zbMATH DE number 2080007 (Why is no real title available?)
• scientific article; zbMATH DE number 2090128 (Why is no real title available?)

This page was built for publication: Generating tests from B specifications and dynamic selection criteria

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