scientific article; zbMATH DE number 2080007

MaRDI QIDQ4472189zbMATH OpenFDO

Authors Bruno Legeard, Fabien Peureux, Mark Utting

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720309.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Generating Tests from B Specifications and Test Purposes
• Generating tests from B specifications and dynamic selection criteria
• scientific article; zbMATH DE number 1706341
• scientific article; zbMATH DE number 2080069
• scientific article; zbMATH DE number 1870537

Cited in

(5)

• I\(_{\text{DDT}}\): Fundamentals and test generation
• Generating Tests from B Specifications and Test Purposes
• scientific article; zbMATH DE number 1870537 (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

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