Test Strategy Generation using Quantified CSPs (bibtex)
by Martin Sachenbacher, Paul Maier
Reference:
Martin Sachenbacher, 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}
}
Powered by bibtexbrowser