Model-based Test Generation Using Quantified CSPs (bibtex)
by Martin Sachenbacher, Stefan Schwoon
Reference:
Martin Sachenbacher, 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}
}
Powered by bibtexbrowser