A formal notion of program-based test data adequacy
From MaRDI portal
Publication:3323251
DOI10.1016/S0019-9958(83)80050-3zbMath0537.68025MaRDI QIDQ3323251
Martin Davis, Elaine J. Weyuker
Publication date: 1983
Published in: Information and Control (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Test suite oscillations, Why Horn formulas matter in computer science: initial structures and generic examples