Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
Patterns are investigated in relation to development of applications and frameworks in the context of analysis, design, and implementation. The results are based on a framework fo...
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...