6 search results - page 2 / 2 » JACK - A Tool for Validation of Security and Behaviour of Ja... |
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...