@inproceedings{gladischSEFM2008,
author = {Christoph Gladisch},
title = {Verification-based Testing for Full Feasible Branch Coverage},
editor = {Antonio Cerone},
booktitle = {6th IEEE International Conference on Software Engineering and Formal Methods ({SEFM} 08)},
year = {2008},
month = nov,
publisher = {IEEE Computer Society Press},
isbn = {978-0-7695-3437-4}
}
Verification-based Testing for Full Feasible Branch Coverage
| Autor(en): | Christoph Gladisch |
|---|---|
| In: | 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 08) |
| Verleger: | IEEE Computer Society Press |
| Jahr: | 2008 |