@Inproceedings{EPTCS188.7, author = {Guo, Hai-Feng and Ouyang, Qing and Siy, Harvey}, year = {2015}, title = {Semantics-based Automated Web Testing}, editor = {ter Beek, Maurice H. and Lluch Lafuente, Alberto}, booktitle = {{\rm Proceedings 11th International Workshop on} Automated Specification and Verification of Web Systems, {\rm Oslo, Norway, 23rd June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {188}, publisher = {Open Publishing Association}, pages = {59-74}, doi = {10.4204/EPTCS.188.7}, }