SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
SCAM
2007
IEEE
14 years 7 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...