Sékou Kangoye, Alexis Todoskoff, Mihaela Barreau. Practical methods for automatic MC/DC test case generation of Boolean expressions.
2015 IEEE AUTOTESTCON, Nov 2015, National Harbor, United States. pp.203-212,
⟨10.1109/AUTEST.2015.7356490⟩.
⟨hal-02514017⟩