120 search results - page 16 / 24 » icse 2003 |
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a corr...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
75
Voted
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...