@dblp

MC/DC Test Cases Generation Based on BDDs.

, , , and . SETTA, volume 13071 of Lecture Notes in Computer Science, page 178-197. Springer, (2021)

Links and resources

Tags