Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function.

Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra B. Cohen, Hamid Bagheri

Browse the full SSBSE paper archive.