ARepair: a repair framework for alloy.

Kaiyuan Wang Allison Sullivan Sarfraz Khurshid

Published in: ICSE (Companion Volume) (2019)

Keyphrases

main contribution
theoretical framework
neural network
multiscale
real time
genetic algorithm
knowledge base
image processing
web services
three dimensional
database systems
probabilistic model
conceptual framework