Testing for refinement in \textsf{Circus}
type: Item
instance of: scholarly article
title: Testing for refinement in \textsf{Circus}
zbMATH Open document ID: 1237.68059
author: Ana Cavalcanti
author: Marie-Claude Gaudel
published in: Acta Informatica
publication date: 2012-03-23T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6018087
zbMATH Keywords: \textsf{Circus} testing theory
zbMATH Keywords: symbolic tests
zbMATH Keywords: operational semantics
zbMATH Keywords: denotational semantics
describes a project that uses: Circus
describes a project that uses: HOL-Z
describes a project that uses: Z
describes a project that uses: csp2B
MaRDI profile type: Publication
full work available at URL: s00236-011-0133-z
OpenAlex ID: W1966324913
cites work: Q4436966
cites work: csp2B: A practical approach to combining CSP and B
cites work: FM 2005: Formal Methods
cites work: A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
cites work: A refinement strategy for Circus
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Q4509996
cites work: Testing algebraic data types and processes: A unifying theory
cites work: Q3997501
cites work: On the testability of SDL specifications
cites work: Q3777424
cites work: Unifying theories for logic programming
cites work: Q4737563
cites work: On testing UML statecharts
cites work: Q4301161
cites work: Testing equivalences for processes
cites work: Guided Test Generation from CSP Models
cites work: Specification and (property) inheritance in CSP-OZ
cites work: A UTP semantics for \textsf{Circus}
cites work: Theoretical Aspects of Computing - ICTAC 2004
cites work: Q4940107
cites work: Mathematics of Program Construction
cites work: Q4494259
cites work: Q4896913
cites work: Q4301167
DOI: 10.1007/S00236-011-0133-Z
Recommended article: Type checking \textsf{Circus} specifications
Recommended article: A UTP semantics for \textsf{Circus}
Recommended article: A refinement strategy for Circus
Recommended article: On Testing the Extent of Noncircularity
Recommended article: A simulation technique for checking the circle criterion
description: scientific article; zbMATH DE number 6018087