A formal notion of program-based test data adequacy

DOI10.1016/S0019-9958(83)80050-3zbMath0537.68025OpenAlexW4210262905MaRDI QIDQ3323251

Elaine J. Weyuker, Martin Davis

Publication date: 1983

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(83)80050-3

zbMATH Keywords

correctnesssoftware testingadequacy

Mathematics Subject Classification ID

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

Related Items (4)

Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Seventy Years of Computer Science ⋮ Test suite oscillations ⋮ My Life as a Logician

This page was built for publication: A formal notion of program-based test data adequacy