Sciweavers

643 search results - page 60 / 129
» A browser for incremental programming
Sort
View
CSMR
2002
IEEE
14 years 3 months ago
A New Approach to Software Exploration: Back-Packing with GSEE
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...
Jean-Marie Favre
ISSTA
2000
ACM
14 years 2 months ago
Simplifying failure-inducing input
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
Ralf Hildebrandt, Andreas Zeller
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
14 years 2 months ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins
TSE
2002
115views more  TSE 2002»
13 years 9 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
ICFP
2006
ACM
14 years 10 months ago
The development of Chez Scheme
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
R. Kent Dybvig