Verifying that web pages have accessible layout.
Pavel PanchekhaAdam T. GellerMichael D. ErnstZachary TatlockShoaib KamilPublished in: PLDI (2018)
Keyphrases
- web pages
- website
- search engine
- web documents
- web page classification
- web search
- web search engines
- model checking
- keywords
- google search engine
- web content
- text fragments
- link analysis
- web content mining
- web users
- web server
- link structure
- data extraction
- data records
- dynamic content
- information overload
- web information extraction
- dynamically generated
- web data
- metadata
- web browser
- layout design
- web data extraction
- html pages
- helping users
- text content
- web databases