Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan. Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. In Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, editors, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. pages 235-244, ACM, 2010. [doi]
Abstract is missing.