An invitation to friendly testing

DOI10.1007/BF02946494MaRDI QIDQ1273070zbMATH OpenOpenAlexFDO

Authors David de Frutos Escrig, Luis F. Llana-Díaz, Manuel Núñez

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

friendly testingtesting semantics

Mathematics Subject Classification ID

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

Recommendations

• Concurrent testing of processes
• Divergence and fair testing
• scientific article; zbMATH DE number 3956420
• scientific article; zbMATH DE number 1760049

Cites work

• A framework based on implementation relations for implementing LOTOS specifications
• Acceptance trees
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Testing equivalences for processes

Cited in

(1)

• Multiparty testing preorders

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

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