%0 Conference Paper %A Ahishakiye, Faustin %A Requeno Jarabo, José Ignacio %A Kristensen, Lars Michael %A Stolz, Volker %T MC/DC Test Cases Generation Based on BDDs %D 2021 %U https://hdl.handle.net/20.500.14352/104871 %~