2372 search results - page 16 / 475 » Probabilistic calling context |
JSC
2010
13 years 6 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
An important shortcoming in the Business Process Redesign (BPR) literature is the lack of concrete guidance on how to improve an existing business process. Our earlier work has aim...
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
ICS
1999
Tsinghua U.
13 years 12 months ago
1999
Tsinghua U.
We introduce dependence-based pre-computation as a complement to history-based target prediction schemes. We present pre-computation in the context of virtual function calls (v-ca...