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

Yasuhiko Minamide, Shunsuke Mori

Browse the full FM paper archive.