Suitability analysis of CSP- and SMT-solvers for test case generation.

Hermann Felbinger Christian Schwarzl

Published in: CSTVA (2014)

Keyphrases

test case generation
constraint satisfaction problems
neural network
artificial intelligence
test cases
multi agent
software systems
sat problem