A Semantic Framework for Test Coverage

DOI10.1007/11901914_30MaRDI QIDQ3522924zbMATH OpenOpenAlexFDO

Authors Laura Brandán Briones, Ed Brinksma, Mariëlle I. A. Stoelinga

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/a-semantic-framework-for-test-coverage(e20ea2f0-ef0b-4bbb-ba44-6b0efb58cd85).html

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Information gain of black-box testing
• scientific article; zbMATH DE number 2080058
• scientific article; zbMATH DE number 1418465
• scientific article; zbMATH DE number 1266648
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• Coverage testing software architectural design in SDL.
• Weighted \(t\)-way sequences
• Enhancing Automata Learning by Log-Based Metrics
• scientific article; zbMATH DE number 2114138 (Why is no real title available?)
• A case in point: verification and testing of a EULYNX interface

This page was built for publication: A Semantic Framework for Test Coverage

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