Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.

Angelo Gargantini Paolo Vavassori

Published in: Haifa Verification Conference (2014)

Keyphrases

test generation
decision diagrams
test cases
quality assurance
dynamic programming
open source
efficient computation
multi valued