An invitation to friendly testing

DOI10.1007/BF02946494zbMath0912.68127OpenAlexW1497881703MaRDI QIDQ1273070

David de Frutos-Escrig, Luis Llana-Díaz, Manuel A. Nunez

Publication date: 18 May 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946494

zbMATH Keywords

testing semanticsfriendly testing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Testing equivalences for processes
• Acceptance trees
• A framework based on implementation relations for implementing LOTOS specifications

This page was built for publication: An invitation to friendly testing