Static deep error checking in large system applications using parfait.

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

01 December 2011


Venue : SIGSOFT FSE

External Link: https://doi.org/10.1145/2025113.2025183