Modular verification of web page layout.

Pavel Panchekha Michael D. Ernst Zachary Tatlock Shoaib Kamil

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

page layout
document images
website
web pages
web applications
web documents
web mining
model checking
modular structure
web data
databases
semantic web
web content
distance measure
web resources
link analysis
signature verification
data sources
database systems