Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé. SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. In Maurice H. ter Beek, Niels Lohmann, editors, Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Volume 7843 of Lecture Notes in Computer Science, pages 103-117, Springer, 2012. [doi]
Abstract is missing.