Sciweavers

Share
TSE
2002
115views more  TSE 2002»
9 years 7 months ago
Simplifying and Isolating Failure-Inducing Input
Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The Delta Debugging algorithm generalizes and simplifies som...
Andreas Zeller, Ralf Hildebrandt
TSE
2002
96views more  TSE 2002»
9 years 7 months ago
Better Reliability Assessment and Prediction through Data Clustering
This paper presents a new approach to software reliability modeling by grouping data into clusters of homogeneous failure intensities. This series of data clusters associated with...
Jeff Tian
TSE
2002
99views more  TSE 2002»
9 years 7 months ago
Rapid Software Development through Team Collocation
Stephanie Teasley, Lisa Covi, Mayuram S. Krishnan,...
TSE
2002
85views more  TSE 2002»
9 years 7 months ago
A Test Generation Strategy for Pairwise Testing
Kuo-Chung Tai, Yu Lei
TSE
2002
73views more  TSE 2002»
9 years 7 months ago
A Distributed Parallel Programming Framework
Nenad Stankovic, Kang Zhang
TSE
2002
111views more  TSE 2002»
9 years 7 months ago
Formal Methods Application: An Empirical Tale of Software Development
Ann E. Kelley Sobel, Michael R. Clarkson
TSE
2002
94views more  TSE 2002»
9 years 7 months ago
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
Stephen F. Siegel, George S. Avrunin
TSE
2002
94views more  TSE 2002»
9 years 7 months ago
Behavior Protocols for Software Components
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
Frantisek Plasil, Stanislav Visnovsky
books