Assessing Test Data Adequacy through Program Inference

DOI10.1145/69575.357231MaRDI QIDQ3666251zbMATH OpenOpenAlexFDO

Authors Elaine J. Weyuker

Publication date 1983

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/69575.357231

zbMATH Keywords

software testinginductive inferenceprogram testinglocating software errorsprogram inference

Mathematics Subject Classification ID

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

Cited in

(5)

• Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
• A new perspective on conformance testing based on apartness
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
• Improving active Mealy machine learning for protocol conformance testing
• Training sequences

This page was built for publication: Assessing Test Data Adequacy through Program Inference

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