Testing algebraic data types and processes: A unifying theory
From MaRDI portal
Publication:1125424
DOI10.1007/s001650050026zbMath0951.68534OpenAlexW2034874525MaRDI QIDQ1125424
Perry R. James, Marie-Claude Gaudel
Publication date: 6 December 1999
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050026
Related Items
Unnamed Item, Checking experiments for stream X-machines, Test-data generation for control coverage by proof, Mutation testing in UTP, Testing for refinement in \textsf{Circus}