ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
ICSE
2007
IEEE-ACM
14 years 11 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 11 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Software testing efforts account for a large part of the software development costs. We still struggle, however, to properly prepare students to perform software testing activitie...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...