@inproceedings{sachenbacher_model-based_2008, author = {M Sachenbacher and S Schwoon}, title = {Model-based Testing Using Quantified {CSPs:} A Map}, booktitle = {Proc. Workshop on Model-based Systems ({MBS-2008)}}, year = {2008}, pages = {37–41}, address = {Patras, Greece}, }