I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Model-based Test Generation using Quantified CSPs

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}
}

See also SS08a.
This work is not available online here.