Model-based Test Generation Using Quantified CSPs (bibtex)

by Martin Sachenbacher and Stefan Schwoon

Reference:

Martin Sachenbacher and Stefan Schwoon, "Model-based Test Generation Using Quantified CSPs", In Proc. International Workshop on Principles of Diagnosis (DX'08), 2008. Accepted for publication

Bibtex Entry:

@InProceedings{SachenbacherSchwoon08b,
  Author         = {Martin Sachenbacher and Stefan Schwoon},
  Title          = {{Model-based Test Generation Using Quantified CSPs}},
  BookTitle      = {Proc.~International Workshop on Principles of Diagnosis (DX'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}
}