Formalization of test experiments

DOI10.1134/S0361768807050015zbMath1154.68340MaRDI QIDQ927449

I. B. Bourdonov, V. V. Kuliamin, A. S. Kossatchev

Publication date: 9 June 2008

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

zbMATH Keywords

Formal methods for testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Complete open-state testing of limitedly nondeterministic systems ⋮ Automatic construction of systems of distributed components from nested Petri nets models ⋮ Interaction semantics with refusals, divergence, and destruction ⋮ Agreement between conformance and composition ⋮ Systems with priorities: conformance, testing, and composition

Uses Software

• UniTESK

Cites Work

• A calculus of communicating systems
• Testing equivalences for processes
• Play to Test
• An axiomatic basis for computer programming
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item