Runtime Verification of Scientific Codes Using Statistics.

Minh Ngoc Dinh, David Abramson, Chao Jin

Browse the full ICCS paper archive.