128 search results - page 11 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present a spreadsheet debugger targeted at end users. Whenever the computed output of a cell is incorrect, the user can supply an expected value for a cell, which is employed b...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We introduce SoftGUESS, a code clone exploration system. SoftGUESS is built on the more general GUESS system which provides users with a mechanism to interactively explore graph s...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...