Connectors as designs: modeling, refinement and test case generation

DOI10.1016/j.scico.2011.04.002zbMath1242.68070OpenAlexW2162326486MaRDI QIDQ433336

Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Sun Meng, Frank S. de Boer, Farhad Arbab, Jan J. M. M. Rutten

Publication date: 13 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.04.002

zbMATH Keywords

designrefinementconnectorReo circuitstest case generationtimed data sequence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Model-Based Mutation Testing of Reactive Systems

Uses Software

• Lutess
• Maude
• Reo
• ATGen
• Circus

Cites Work

• Mutation testing in the refinement calculus
• rCOS: a refinement calculus of object systems
• Mutation testing in UTP
• Testing equivalences for processes
• Maude: specification and programming in rewriting logic
• Connector colouring. I: Synchronisation and context dependency
• Modeling component connectors in Reo by constraint automata
• Anti-pattern Matching Modulo
• Testing Programs with the Aid of a Compiler
• The B-Book
• Refinement Calculus
• Reo: a channel-based coordination model for component composition
• Automated Reasoning
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connectors as designs: modeling, refinement and test case generation