Ferry Timmers: Raking and the Self-deducing machine

Event Details

Raking is a method with which we can extract the behavior from software systems by instrumenting its source code. A key element of this method is something I have dubbed the self-deducing machine. In this talk I will go into more detail about this concept, and how it can be used to extract a state space from an instrumented program by execution.