@inproceedings{1009735,
 author = {Yao-Wen Huang and Fang Yu and Christian Hang and Chung-Hung Tsai and D. T. Lee and Sy-Yen Kuo},
 title = {Verifying Web Applications Using Bounded Model Checking},
 booktitle = {DSN '04: Proceedings of the 2004 International Conference on Dependable Systems and Networks},
 year = {2004},
 isbn = {0-7695-2052-9},
 pages = {199},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }