Assessing Test Data Adequacy through Program Inference

DOI10.1145/69575.357231zbMath0517.68031OpenAlexW2045671792MaRDI QIDQ3666251

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

inductive inferencesoftware testingprogram testinglocating software errorsprogram inference

Mathematics Subject Classification ID

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

Related Items (4)

Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ Improving active Mealy machine learning for protocol conformance testing ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 ⋮ Training sequences

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