An evolutionary approach for analyzing Alloy specifications.

Jianghao Wang Hamid Bagheri Myra B. Cohen

Published in: ASE (2018)

Keyphrases

high level
optimal solution
databases
data mining
search algorithm
search space
object oriented