Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.

Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang

Browse the full APSEC paper archive.