CBSE   2015 International Symposium on Component-Based Software Engineering
Wall of Fame | Most Viewed CBSE-2015 Paper
5 years 7 months ago
Complete Composition Operators for IOCO-Testing Theory
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be...
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source64
2Download preprint from source37
3Download preprint from source27
4Download preprint from source27
5Download preprint from source27
6Download preprint from source27