Sciweavers

927 search results - page 34 / 186
» Practical Limits on Software Dependability: A Case Study
Sort
View
ICSE
1995
IEEE-ACM
13 years 11 months ago
Characterizing and Assessing a Large-Scale Software Maintenance Organization
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
Lionel C. Briand, Walcélio L. Melo, Carolyn...
SAC
2008
ACM
13 years 7 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
QSIC
2008
IEEE
14 years 2 months ago
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
Lionel C. Briand, Yvan Labiche, Zaheer Bawar
WADT
1998
Springer
13 years 11 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
ITSSA
2006
89views more  ITSSA 2006»
13 years 7 months ago
A Methodology for Classifying Self-Organizing Software Systems
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
Klaus Herrmann, Matthias Werner, Gero Mühl