An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
The work
| Title | An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software |
|---|---|
| Authors | Arnaud Dupuy; Nancy Leveson |
| Type | conference paper |
| Year | 2000 |
| Citekey | dupuy2000empirical |
Where it appeared
| Published in | 19th Digital Avionics Systems Conference |
|---|---|
| Publisher | IEEE |
Identifiers
| DOI | 10.1109/dasc.2000.886883 |
|---|
Copy held
| Kind | PDF, 66.1 kB |
|---|---|
| Retrieved | 2026-08-09 |
| Held | local, for personal reference |
| Where it came from | http://sunnyday.mit.edu/papers/dupuy.pdf |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-09 |
| Record | reviewed by a person |
| Approved | 2026-08-11 |
Cite it as
@inproceedings{dupuy2000empirical,
title = {An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software},
author = {Arnaud Dupuy and Nancy Leveson},
year = {2000},
booktitle = {19th Digital Avionics Systems Conference},
publisher = {IEEE},
doi = {10.1109/dasc.2000.886883},
}
This record lives at https://refs.drheap.org/dupuy2000empirical/ and will keep doing so.