Hee Beng Kuan Tan, Ni Lar Thein. Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis. In Arie van Deursen, Elizabeth Burd, editors, 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA. pages 233, IEEE Computer Society, 2002. [doi]
Abstract is missing.