Verifying Web Applications Using Bounded Model Checking.

Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo

Browse the full DSN paper archive.