@inproceedings{
    koop07:GastTFP07,
    author      = {Koopman, Pieter and Achten, Peter and Plasmeijer, Rinus},
    title       = {Model-Based Testing of Thin-Client Web Applications and Navigation Input},
    booktitle   = {Submitted to {S}eventh {S}ymposium on {T}rends in {F}unctional {P}rogramming, TFP 2007},
    year        = 2007,
    month       = {April 2-4},
    address     = {City College, New York}
}