TY  - CPAPER
AU  - Ahishakiye, Faustin
AU  - Requeno Jarabo, José Ignacio
AU  - Kristensen, Lars Michael
AU  - Stolz, Volker
PY  - 2021
DO  - 10.1007/978-3-030-91265-9_10
UR  - https://hdl.handle.net/20.500.14352/104871
LA  - eng
TI  - MC/DC Test Cases Generation Based on BDDs
TY  - conference paper
ER  -