TSE 2002 | Sciweavers

16

TSE
2002

115views more TSE 2002»

Simplifying and Isolating Failure-Inducing Input

13 years 3 months ago

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

claim paper

Read More »

14

click to vote

TSE
2002

96views more TSE 2002»

Better Reliability Assessment and Prediction through Data Clustering

13 years 3 months ago

Download lyle.smu.edu

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

claim paper

Read More »

12

click to vote

TSE
2002

99views more TSE 2002»

Rapid Software Development through Team Collocation

13 years 3 months ago

Download strategy.sauder.ubc.ca

Stephanie Teasley, Lisa Covi, Mayuram S. Krishnan,...

claim paper

Read More »

13

click to vote

TSE
2002

85views more TSE 2002»

A Test Generation Strategy for Pairwise Testing

13 years 3 months ago

Download ranger.uta.edu

Kuo-Chung Tai, Yu Lei

claim paper

Read More »

14

click to vote

TSE
2002

73views more TSE 2002»

A Distributed Parallel Programming Framework

13 years 3 months ago

Download www.utdallas.edu

Nenad Stankovic, Kang Zhang

claim paper

Read More »

14

click to vote

TSE
2002

111views more TSE 2002»

Formal Methods Application: An Empirical Tale of Software Development

13 years 3 months ago

Download www.cs.cornell.edu

Ann E. Kelley Sobel, Michael R. Clarkson

claim paper

Read More »

15

click to vote

TSE
2002

94views more TSE 2002»

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles

13 years 3 months ago

Download ext.math.umass.edu

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

claim paper

Read More »

13

click to vote

TSE
2002

147views more TSE 2002»

Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware

13 years 3 months ago

Download www.real-time.ece.vt.edu

Binoy Ravindran

claim paper

Read More »

10

click to vote

TSE
2002

110views more TSE 2002»

Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model

13 years 3 months ago

Download www.jos.org.cn

Jayant Rajgopal, Mainak Mazumdar

claim paper

Read More »

13

click to vote

TSE
2002

94views more TSE 2002»

Behavior Protocols for Software Components

13 years 3 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers