Specification for Testing

DOI10.1007/978-3-540-75221-9_12zbMATH Open1151.68479OpenAlexW177414651MaRDI QIDQ3526935

Author name not available (Why is that?)

Publication date: 25 September 2008

Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Hahn-Hausman test as a specification test ⋮ Practical steps to improve specification testing

Recommendations

• Title not available (Why is that?) 👍 👎
• Testing strategies for model specification 👍 👎
• Test specification based on trace description 👍 👎
• Specification directed module testing 👍 👎

This page was built for publication: Specification for Testing

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