Test Strategy Generation using Quantified CSPs (bibtex)

by Martin Sachenbacher and Paul Maier

Reference:

Martin Sachenbacher and Paul Maier, "Test Strategy Generation using Quantified CSPs", In Proc. International Conference on Principles and Practice of Constraint Programming (CP'08), 2008. Accepted for publication

Bibtex Entry:

@inproceedings{SachenbacherMaier08,
  Author         = {Martin Sachenbacher and Paul Maier},
  Title          = {{Test Strategy Generation using Quantified CSPs}},
  BookTitle      = {Proc.~International Conference on Principles and Practice of Constraint Programming (CP'08)},
  note           = {Accepted for publication},
  year           = 2008,
  bib2html_pubtype    = {Conference Paper},
  bib2html_rescat     = {Models, Reasoning},
  bib2html_groups     = {Self-Diagnosis and Planning},
  bib2html_funding    = {Self-Diagnosis and Planning}
}