A formal abstract framework for modelling and testing complex software systems
type: Item
instance of: scholarly article
title: A formal abstract framework for modelling and testing complex software systems
zbMATH Open document ID: 1279.68193
author: Marc Aiguier
author: Frédéric Boulanger
author: Bilal Kanso
published in: Theoretical Computer Science
publication date: 2012-10-11T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6093073
zbMATH Keywords: component based system
zbMATH Keywords: integration operators
zbMATH Keywords: trace semantics
zbMATH Keywords: transfer function
zbMATH Keywords: compositional testing
zbMATH Keywords: conformance testing
zbMATH Keywords: coalgebra
zbMATH Keywords: monad
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.12.072
OpenAlex ID: W2150690459
cites work: Testing of Abstract Components
cites work: Components as coalgebras: the refinement dimension
cites work: Notions of computation and monads
cites work: Symbolic Execution Techniques for Test Purpose Definition
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Synthesis of Mealy machines using derivatives
cites work: Q4896913
cites work: Q4471927
cites work: Formal Approaches to Software Testing
cites work: Q3997112
cites work: Q5639839
cites work: Universal coalgebra: A theory of systems
cites work: Terminal coalgebras in well-founded set theory
cites work: Q4400449
cites work: Communicating sequential processes
cites work: Testing equivalences for processes
cites work: Refusal testing
cites work: Q3992568
cites work: Guided Test Generation from CSP Models
cites work: Q3204034
cites work: A coalgebraic semantic framework for component-based development in UML
cites work: The Microcosm Principle and Concurrency in Coalgebra
cites work: Coalgebraic Components in a Many-Sorted Microcosm
cites work: Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
cites work: Institutions: abstract model theory for specification and programming
cites work: Proof of correctness of data representations
DOI: 10.1016/J.TCS.2011.12.072
description: scientific article; zbMATH DE number 6093073