On the use of OR-BDDs for test generatio
β
Lech JΓ³ΕΊwiak; Hein Mijland
π
Article
π
1992
π
Elsevier Science
β 470 KB