3667 search results - page 416 / 734 » Software Rejuvenation - Modeling and Analysis |
164
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
169
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
167
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
185
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
177
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...