Combining Testing with Formal Specifications: A Case Study

DOI10.1109/TSE.1983.236869zbMath0509.68017OpenAlexW2025011810MaRDI QIDQ4747504

John D. Gannon, Paul R. McMullin

Publication date: 1983

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

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

zbMATH Keywords

testingspecificationdata types

Mathematics Subject Classification ID

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

This page was built for publication: Combining Testing with Formal Specifications: A Case Study