Test coverage estimation using threshold accepting

DOI10.1007/978-3-319-11936-6_9MaRDI QIDQ3457784zbMATH OpenOpenAlexFDO

Authors Thao Dang, Noa Shalev

Publication date 17 December 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-11936-6_9

Mathematics Subject Classification ID

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

Recommendations

• Test Coverage for Continuous and Hybrid Systems
• Coverage-guided test generation for continuous and hybrid systems
• Robust Test Generation and Coverage for Hybrid Systems
• The complexity of coverage
• scientific article; zbMATH DE number 2090129

Cited in

(8)

• Hybrid adaptive random testing
• scientific article; zbMATH DE number 2090129 (Why is no real title available?)
• An approximation-based approach for the random exploration of large models
• Test Coverage for Continuous and Hybrid Systems
• Coverage-guided test generation for continuous and hybrid systems
• Coverage estimation using statistics of the extremes for when testing reveals no failures
• Quantitative projection coverage for testing ML-enabled autonomous systems
• Probabilistic testing coverage

This page was built for publication: Test coverage estimation using threshold accepting

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