Hui Liu, Hee Beng Kuan Tan. Automated Verification and Test Case Generation for Input Validation. In Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li, editors, Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006. pages 29-35, ACM, 2006. [doi]