Reachability analysis of the HTML5 parser specification and its application to compatibility testing

DOI10.1007/978-3-642-32759-9_26MaRDI QIDQ4647852zbMATH OpenOpenAlexFDO

Authors Yasuhiko Minamide, Shunsuke Mori

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32759-9_26

Mathematics Subject Classification ID

Internet topics (68M11) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• HTML validation of context-free languages
• A Translation from the HTML DTD into a Regular Hedge Grammar
• scientific article; zbMATH DE number 2089333
• Automated Generation of Positive and Negative Tests for Parsers
• DOM: Specification and Client Reasoning

Cited in

(1)

• Analyzing pushdown systems with stack manipulation

This page was built for publication: Reachability analysis of the HTML5 parser specification and its application to compatibility testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647852)