A Domain Strategy for Computer Program Testing

DOI10.1109/TSE.1980.234486MaRDI QIDQ3870280zbMATH OpenFDO

Authors Lee J. White, Edward I. Cohen

Publication date 1980

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

Full work available at URL https://doi.org/10.1109/TSE.1980.234486

zbMATH Keywords

control structuredomain errorspath-oriented testingprogram testingsoftware reliabilitysoftware testingtest data generation

Mathematics Subject Classification ID

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

Cited in

(2)

• A test environment using symbolic program trace
• A framework for table driven testing of Java classes

This page was built for publication: A Domain Strategy for Computer Program Testing

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