Output details
11 - Computer Science and Informatics
Birmingham City University
Return to search
Output 0 of 0 in the submission
Article title
Robustness testing for software components
Type
D - Journal article
Title of journal
Science of Computer Programming
Article number
-
Volume number
75
Issue number
10
First page of article
879
ISSN of journal
01676423
Year of publication
2010
Number of additional authors
4
Additional information
<09> This work is part of the effort in relating formal techniques to software engineering practice in development of the formal method of Refinement of Component and Object systems (rCOS). It addresses the issue of how to test a component in building an application when its source code is not available. It The formal characterization of the notions of fitness, correctness and robustness of a component are important in component-based software development. Experiments on a number of components, including an open source component, show the advantages over existing approaches. The work is cited in papers from China, India, Canada and several countries in Europe.
Interdisciplinary
-
Cross-referral requested
-
Research group
3 - Software Engineering
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
