Theoretical and Empirical Studies of Program Testing

DOI10.1109/TSE.1978.231514zbMath0383.68017OpenAlexW2011715836WikidataQ61603666 ScholiaQ61603666MaRDI QIDQ4162634

William E. Howden

Publication date: 1978

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1978.231514

Mathematics Subject Classification ID

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

Related Items (5)

Selecting a testing criterion based on quantitative analysis ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ Symbolic Model-based Test Selection ⋮ Bibliography on the evaluation of numerical software ⋮ Estimating the correctness of computer programs

This page was built for publication: Theoretical and Empirical Studies of Program Testing