Testing interruptions in reactive systems

DOI10.1007/S00165-011-0197-0zbMath1259.68031OpenAlexW1986118576MaRDI QIDQ1941859

Patrícia D. L. Machado, Wilkerson L. Andrade

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0197-0

zbMATH Keywords

reactive systemsmodel-based testingtest case generationinterruption

Mathematics Subject Classification ID

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

Uses Software

• AGEDIS

Cites Work

• Unnamed Item
• Unnamed Item
• Reactive Systems
• Guided Test Generation from CSP Models
• Formal Approaches to Software Testing

This page was built for publication: Testing interruptions in reactive systems