Generating tests from B specifications and dynamic selection criteria

DOI10.1007/s00165-009-0132-9zbMath1214.68217OpenAlexW1993113417MaRDI QIDQ539227

Jacques Julliand, Régis Tissot, Pierre-Alain Masson, 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

model-based testingIAS case studytest purpose

Mathematics Subject Classification ID

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

Cites Work

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

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