C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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