Combining Testing with Formal Specifications: A Case Study

DOI10.1109/TSE.1983.236869MaRDI QIDQ4747504zbMATH OpenOpenAlexFDO

Authors Paul R. McMullin, John D. Gannon

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

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

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

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