Sciweavers

13 search results - page 3 / 3
» iceccs 2002
Sort
View
ICECCS
2002
IEEE
79views Hardware» more  ICECCS 2002»
13 years 10 months ago
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...
Srinivasan Ramani, Katerina Goseva-Popstojanova, K...
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
13 years 10 months ago
Syntactic Fault Patterns in OO Programs
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
Roger T. Alexander, Jeff Offutt, James M. Bieman
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
13 years 10 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...