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]
@inproceedings{LiuT06-0,
title = {Automated Verification and Test Case Generation for Input Validation},
author = {Hui Liu and Hee Beng Kuan Tan},
year = {2006},
doi = {10.1145/1138929.1138936},
url = {http://dx.doi.org/10.1145/1138929.1138936},
tags = {testing},
researchr = {https://researchr.org/publication/LiuT06-0},
cites = {0},
citedby = {0},
pages = {29-35},
booktitle = {Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006},
editor = {Hong Zhu and Joseph R. Horgan and Shing-Chi Cheung and J. Jenny Li},
publisher = {ACM},
isbn = {1-59593-408-1},
}