"Sampling-based program execution monitoring."

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