Towards a test automation framework for alloy.

Allison Sullivan Razieh Nokhbeh Zaeem Sarfraz Khurshid Darko Marinov

Published in: SPIN (2014)

Keyphrases

main contribution
key features
framework enables
neural network
multimedia
multiresolution
semi supervised
medical images
lightweight
test cases
statistical significance
model based testing