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