RT Conference Proceedings T1 MC/DC Test Cases Generation Based on BDDs A1 Ahishakiye, Faustin A1 Requeno Jarabo, José Ignacio A1 Kristensen, Lars Michael A1 Stolz, Volker YR 2021 FD 2021 LK https://hdl.handle.net/20.500.14352/104871 UL https://hdl.handle.net/20.500.14352/104871 LA eng DS Docta Complutense RD 25 mar 2026