Static deep error checking in large system applications using parfait. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo; Andrew Browne; Jacob Zimmermann; Andrew Craik; Douglas Teoh; Christian Hoermann (SIGSOFT FSE, 2011)