MC/DC Test Cases Generation Based on BDDs

von Ahishakiye, Faustin
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

von Ahishakiye, Faustin
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)