Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.

Elke Salecker, Robert Reicherdt, Sabine Glesner

Browse the full ICST paper archive.