CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
Despite the conventional wisdom concerning the risks related to the use of source code cloning as a software development strategy, several studies appeared in literature indicated...
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
CSMR
2007
IEEE
14 years 6 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
COMPSAC
2007
IEEE
14 years 6 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
COMPSAC
2007
IEEE
14 years 6 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
COMPSAC
2007
IEEE
14 years 6 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...