Modular verification of web page layout
Abstract
Automated verification can ensure that a web page satisfies accessibility, usability, and design properties regardless of the end user's device, preferences, and assistive technologies. However, state-of-the-art verification tools for layout properties do not scale to large pages because they rely on whole-page analyses and must reason about the entire page using the complex semantics of the browser layout algorithm.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 10, 2019
- Source ID
- 10.1145/3360577
Entities
People
- Michael D. Ernst
- Pavel Panchekha
- Shoaib Kamil
- Zachary Tatlock
Organizations
- Air Force Research Laboratory
- National Science Foundation
- United States Air Force
- University of Utah
- University of Washington