Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Model-based Test Generation using Quantified CSPs: A Map


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:

    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}

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