Program Testing Complexity and Test Criteria

DOI10.1109/TSE.1980.234501zbMath0446.68008OpenAlexW2134715804MaRDI QIDQ3891740

K. C. Tai

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.234501

zbMATH Keywords

program correctnesstest data generationprogram testing complexitytest criteria

Mathematics Subject Classification ID

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

Related Items (1)

Automatic construction of test sets: Theoretical approach

This page was built for publication: Program Testing Complexity and Test Criteria