Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams.

Andrea Bombarda Angelo Gargantini

Published in: ICST Workshops (2022)

Keyphrases

test generation
probabilistic model
test cases
decision diagrams
relational databases
dynamic programming
complex systems