MC/DC Test Cases Generation Based on BDDs
- Ahishakiye, F.
- Requeno Jarabo, J.I.
- Kristensen, L.M.
- Stolz, V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030912642
Año de publicación: 2021
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Proceedings
Volumen: 13071 LNCS
Páginas: 178-197
Tipo: Aportación congreso