Back to Results
First PageMeta Content
Binary decision diagram / Model checking / Software metrics / Software engineering / Modified condition/decision coverage / Code coverage / Mathematics / Formal methods / Software testing / Boolean algebra / Diagrams


Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino
Add to Reading List

Document Date: 2012-03-18 14:24:37

Open Document

File Size: 203,87 KB

Share Result on Facebook
UPDATE