Combining Testing with Formal Specifications: A Case Study
From MaRDI portal
Publication:4747504
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
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