Sciweavers

ICECCS
2002
IEEE
161views Hardware» more  ICECCS 2002»
14 years 1 months ago
Interclass Testing of Object Oriented Software
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
14 years 1 months ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
14 years 1 months ago
Fault Detection Effectiveness of Spathic Test Data
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
Jane Huffman Hayes, Pifu Zhang
ICECCS
2002
IEEE
106views Hardware» more  ICECCS 2002»
14 years 1 months ago
Validating Run-time Interactions in Distributed Java Applications
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Re...
ICECCS
2002
IEEE
99views Hardware» more  ICECCS 2002»
14 years 1 months ago
Using Aspects to Design a Secure System
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
Geri Georg, Indrakshi Ray, Robert B. France
ICECCS
2002
IEEE
84views Hardware» more  ICECCS 2002»
14 years 1 months ago
An Empirical Comparison of Modularity of Procedural and Object-oriented Software
A commonly held belief is that applications written ina object-oriented languages are more modular than those written in procedural languages. This paper presents results from an ...
Lisa K. Ferrett, Jeff Offutt
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
14 years 1 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...
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
14 years 1 months ago
A Light-Weight Process for Capturing and Evolving Defect Reduction Experience
Victor R. Basili, Mikael Lindvall, Forrest Shull
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
14 years 1 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