Reference:

Martin Sachenbacher and Stefan Schwoon. Model-based test generation using quantified CSPs. In Alban Grastien, Wolfgang Mayer, and Markus Stumptner, editors, Proceedings of the 19th International Workshop on Principles of Diagnosis (DX), pages 159–165, Blue Mountains, Australia, September 2008.

Suggested BibTeX entry:

@inproceedings{SS08b,
    address = {Blue Mountains, Australia},
    author = {Martin Sachenbacher and Stefan Schwoon},
    booktitle = {Proceedings of the 19th International Workshop on Principles of Diagnosis (DX)},
    editor = {Alban Grastien and Wolfgang Mayer and Markus Stumptner},
    month = {September},
    pages = {159--165},
    title = {Model-based Test Generation using Quantified {CSPs}},
    year = {2008}
}