Using model checking with symbolic execution to verify parallel numerical programs (2006)

by S F Siegel, A Mironova, G S Avrunin, L A Clarke
Venue:In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006