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
- Title:
Test Strategy Generation Using Quantified CSPs
- Document type:
- Konferenzbeitrag
- Author(s):
- Martin Sachenbacher, Paul Maier
- Keywords:
- testing, constraint-solving, quantified constraint-solving
- Book / Congress title:
- 14th International Conference on Principles and Practice of Constraint Programming (CP-2008)
- Year:
- 2008
- Language:
- de
- Format:
- Text
BibTeX