484 search results - page 77 / 97 » Runtime software adaptation: framework, approaches, and styl... |
196
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
258
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
162
click to vote
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...
180
click to vote
APIN
1998
15 years 6 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
196
click to vote
CC
2004
Springer
16 years 8 hour ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...