ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
It is difficult to fully assess the quality of software inhouse, outside the actual time and context in which it will execute after deployment. As a result, it is common for softw...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
ICSE
2007
IEEE-ACM
14 years 11 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...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Proponents of design notations tailored for specific application domains or reference architectures, often available in the form of UML stereotypes, motivate them by improved unde...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
ICSE
2007
IEEE-ACM
14 years 11 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...