MC/DC Test Cases Generation Based on BDDs | Publicación