Model-based Testing Using Quantified CSPs: A Map (bibtex)

by Martin Sachenbacher and Stefan Schwoon

Reference:

Martin Sachenbacher and Stefan Schwoon, "Model-based Testing Using Quantified CSPs: A Map", In Proc. Workshop on Model-based Systems (MBS-2008), Patras, Greece, pp. 37–41, 2008.

Bibtex Entry:

@InProceedings{SachenbacherSchwoon08a,
  Author         = {Martin Sachenbacher and Stefan Schwoon},
  Title          = {{Model-based Testing Using Quantified CSPs: A Map}},
  BookTitle      = {Proc.~Workshop on Model-based Systems (MBS-2008)},
  Pages          = {37--41},
  Address        = {Patras, Greece},
  year           = 2008,
  bib2html_pubtype    = {Workshop Paper},
  bib2html_rescat     = {Models, Reasoning},
  bib2html_groups     = {Self-Diagnosis and Planning},
  bib2html_funding    = {Self-Diagnosis and Planning}
}