@inproceedings{KiDoSc-SAS-2013,
title={Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing},
author={Hyunha Kim and Kyung-Goo Doh and David A. Schmidt},
booktitle={20th International Static Analysis Symposium (SAS'13)},
year={2013},
month={June},
volume={Lecture Notes in Computer Science 7935},
number={},
pages={194-214},
keywords={static analysis, string analysis, abstract parsing, HTML validation},
doi={10.1007/978-3-642-38856-9_12},
ISSN={}
}