Generating Tests from B Specifications and Test Purposes

DOI10.1007/978-3-540-87603-8_12zbMath1156.68471OpenAlexW1583640562MaRDI QIDQ3535370

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

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

model-based testingIAS case studytest purpose

Mathematics Subject Classification ID

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

Related Items (1)

Generating tests from B specifications and dynamic selection criteria

Cites Work

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

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