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