ASketch: a sketching framework for Alloy.

Kaiyuan Wang Allison Sullivan Darko Marinov Sarfraz Khurshid

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

main contribution
data mining
theoretical framework
high level
lightweight
probabilistic model
expert systems
framework enables
multiresolution
user interface
relational databases
data sets
multi agent systems
data structure
multiscale
information systems
genetic algorithm
real world