PASSAT 2.0: A multi-functional SAT-based testing framework.

Rolf Drechsler Melanie Diepenbeck Stephan Eggersglüß Robert Wille

Published in: LATW (2013)

Keyphrases

main contribution
data sets
neural network
conceptual framework
e learning
test cases
bayesian framework