Testing for a conformance relation based on acceptance

DOI10.1007/3-540-56610-4_86zbMath1497.68101OpenAlexW1565533038MaRDI QIDQ5044759

Ming Yu Yao, Gregor von Bochmann

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_86

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Unnamed Item
• Observation equivalence as a testing equivalence
• Acceptance trees

This page was built for publication: Testing for a conformance relation based on acceptance