Login
mediaTUM GesamtbestandEinrichtungenSchools TUM School of Computation, Information and TechnologyDepartmentsComputer ScienceInformatik 9 - Lehrstuhl für Computer Vision and Artificial Intelligence (Prof. Cremers)Emmy Noether-Nachwuchsgruppe (Dr. Sachenbacher)2008SachenbacherMaier-Test Strategy Generation using Quantified CSPs.pdf
- Titel:
Test Strategy Generation Using Quantified CSPs
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Martin Sachenbacher, Paul Maier
- Stichworte:
- testing, constraint-solving, quantified constraint-solving
- Kongress- / Buchtitel:
- 14th International Conference on Principles and Practice of Constraint Programming (CP-2008)
- Jahr:
- 2008
- Sprache:
- de
- Format:
- Text
BibTeX