AUnit: A Test Automation Tool for Alloy.

Allison Sullivan Kaiyuan Wang Sarfraz Khurshid

Published in: ICST (2018)

Keyphrases

knowledge acquisition
artificial intelligence
multiscale
data analysis
learning algorithm
social networks
data structure
expert systems
data model
test cases
user friendly
model based testing