Testing algebraic data types and processes: A unifying theory

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

zbMATH Keywords

formal specificationsblack box testingfull LOTOS

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (5)

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}

This page was built for publication: Testing algebraic data types and processes: A unifying theory