Brian Chin
Shane Markstrum
Todd Millstein
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI ’05
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods