Sampling-based program execution monitoring. - Sebastian Fischmeister; Yanmeng Ba (LCTES, 2010)