1799 search results - page 338 / 360 » The Logic of Correctness in Software Engineering |
173
click to vote
KBSE
2007
IEEE
16 years 7 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
153
click to vote
PEPM
2007
ACM
16 years 2 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
165
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
168
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
195
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...