Pieter W. M. Koopman, Peter Achten, Marinus J. Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 299-315, Springer, 2008. [doi]
Abstract is missing.