Reference:

Martin Sachenbacher and Stefan Schwoon. Model-based test generation using quantified CSPs: A map. In Bernhard Peischl, Neal Snooke, Gerald Steinbauer, and Cees Witteveen, editors, Proceedings of the ECAI 2008 Workshop on Model-Based Systems, pages 37–41, Patras, Greece, July 2008.

Suggested BibTeX entry:

@inproceedings{SS08a,
    address = {Patras, Greece},
    author = {Martin Sachenbacher and Stefan Schwoon},
    booktitle = {Proceedings of the ECAI 2008 Workshop on Model-Based Systems},
    editor = {Bernhard Peischl and Neal Snooke and Gerald Steinbauer and Cees Witteveen},
    month = {July},
    pages = {37--41},
    title = {Model-based Test Generation using Quantified {CSPs}: A Map},
    year = {2008}
}