Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

Hyunha Kim, Kyung-Goo Doh, David A. Schmidt. Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. In Francesco Logozzo, Manuel Fähndrich, editors, Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Volume 7935 of Lecture Notes in Computer Science, pages 194-214, Springer, 2013. [doi]

Authors

Hyunha Kim

This author has not been identified. Look up 'Hyunha Kim' in Google

Kyung-Goo Doh

This author has not been identified. Look up 'Kyung-Goo Doh' in Google

David A. Schmidt

This author has not been identified. Look up 'David A. Schmidt' in Google