Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing

DOI10.1007/978-3-642-32759-9_26zbMath1372.68174OpenAlexW142775580MaRDI QIDQ4647852

Shunsuke Mori, Yasuhiko Minamide

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

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

Related Items (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