A contribution to the theory of program testing

DOI10.1016/0304-3975(85)90090-8zbMath0569.68012OpenAlexW2074304694MaRDI QIDQ1060837

Luc Bougé

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90090-8

zbMATH Keywords

reliabilityvaliditybiasacceptabilityprogram testingprogram provingtest optimization

Mathematics Subject Classification ID

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

Related Items (1)

Testing can be formal, too

Cites Work

• Unnamed Item
• Unnamed Item
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• A Mathematical Framework for the Investigation of Testing
• Theories of Program Testing and the Application of Revealing Subdomains
• Test data as an aid in proving program correctness

This page was built for publication: A contribution to the theory of program testing