Interaction semantics with refusals, divergence, and destruction

DOI10.1134/S0361768810050014zbMath1251.68077OpenAlexW2011980920MaRDI QIDQ1758683

I. B. Bourdonov, A. S. Kossatchev

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768810050014

zbMATH Keywords

observabledivergencesemanticsspecificationactionsconformance testingsoftware systemdestructioninteraction semanticsimplementation safetynonconformal specificationrefusalssafe testingtotal testing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Refusal testing
• Formalization of test experiments
• Systems with priorities: conformance, testing, and composition
• Complete open-state testing of limitedly nondeterministic systems
• An axiomatic basis for computer programming
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interaction semantics with refusals, divergence, and destruction