Search
Now showing items 11-20 of 21
ReCrash: Making Crashes Reproducible
(2007-11-20)
It is difficult to fix a problem without being able to reproduce it.However, reproducing a problem is often difficult and time-consuming.This paper proposes a novel algorithm, ReCrash, that generatesmultiple unit tests ...
How do programs become more concurrent? A story of program transformations
(2008-09-05)
For several decades, programmers have relied onMooreâ s Law to improve the performance of their softwareapplications. From now on, programmers need to programthe multi-cores if they want to deliver efficient code. Inthe ...
Pluggable type-checking for custom type qualifiers in Java
(2007-09-17)
We have created a framework for adding custom type qualifiers to the Javalanguage in a backward-compatible way. The type system designer definesthe qualifiers and creates a compiler plug-in that enforces theirsemantics. ...
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
(2006-08-31)
A test input for an object-oriented program typically consists of asequence of method calls that use the API defined by the programunder test. Generating legal test inputs can be challenging because,for some programs, the ...
Eclat: Automatic Generation and Classification of Test Inputs
(2004-10-14)
This paper describes a technique that helps a test engineerselect, from a large set of randomly generated testinputs, a small subset likely to reveal faults in the softwareunder test. The technique takes a program or ...
Quantitative Information Flow as Network Flow Capacity
(2007-12-10)
We present a new technique for determining how much information abouta program's secret inputs is revealed by its public outputs. Incontrast to previous techniques based on reachability from secretinputs (tainting), it ...
Theories in Practice: Easy-to-Write Specifications that Catch Bugs
(2008-01-14)
Automated testing during development helps ensure that software works according to the test suite. Traditional test suites verify a few well-picked scenarios or example inputs. However, such example-based testing does not ...
Finding Bugs In Dynamic Web Applications
(2008-02-06)
Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact usability of web applications. Currenttools for web-page validation cannot handle the dynamically-generatedpages ...
Predicting Problems Caused by Component Upgrades
(2004-03-30)
This report presents a new, automatic technique to assess whether replacing a component of a softwaresystem by a purportedly compatible component may change the behavior of the system. The techniqueoperates before integrating ...
Automatic Test Factoring for Java
(2005-06-08)
Test factoring creates fast, focused unit tests from slow system-widetests; each new unit test exercises only a subset of the functionalityexercised by the system test. Augmenting a test suite with factoredunit tests ...