"Sampling-based program execution monitoring."

Sebastian Fischmeister, Yanmeng Ba (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics