Verification-based Testing for Full Feasible Branch Coverage

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Gladisch
In:6th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM 08)
Verleger:IEEE Computer Society Press
Jahr:2008

BibTeX

@inproceedings{gladischSEFM2008,
  author    = {Christoph Gladisch},
  title     = {Verification-based Testing for Full Feasible Branch Coverage},
  editor    = {Antonio Cerone},
  booktitle = {6th IEEE Int. Conf. Software Engineering and Formal Methods ({SEFM} 08)},
  year      = {2008},
  month     = nov,
  publisher = {IEEE Computer Society Press},
  isbn      = {978-0-7695-3437-4}
}