A Semantic Framework for Test Coverage

DOI10.1007/11901914_30zbMath1161.68350OpenAlexW2138732068MaRDI QIDQ3522924

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

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)

Related Items (1)

Enhancing Automata Learning by Log-Based Metrics

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