1379 search results - page 29 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
105
click to vote
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
107
click to vote
SC
1990
ACM
15 years 3 months ago
1990
ACM
Important insights into program operation can be gained by observing dynamic execution behavior. Unfortunately, many high-performance machines provide execution profile summaries ...
102
click to vote
RAID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...