128 search results - page 18 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
ICSE
2007
IEEE-ACM
14 years 7 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 7 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 7 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...