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.