How to Keep Your Head above Water While Detecting Errors. - Ignacio Laguna; Fahad A. Arshad; David M. Grothe; Saurabh Bagchi (Middleware, 2009)