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