Robustness testing for software components

DOI10.1016/j.scico.2010.02.005zbMath1209.68140OpenAlexW1973153065MaRDI QIDQ988173

Charles Morisset, Bin Lei, Xuandong Li, Volker Stolz, Zhi-Ming Liu

Publication date: 26 August 2010

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

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

zbMATH Keywords

state machinecomponentcontractrobustness testing

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• rCOS
• JCrasher

Cites Work

• rCOS: a refinement calculus of object systems
• A Model of Component-Based Programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Robustness testing for software components