3 papers
cs.SE2021
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song +3
The boundary conditions (BCs) have shown great potential in requirements engineering because a BC captures the particular combination of circumstances, i.e., divergence, in which t…
cs.SE2021
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Hongzhen Zhong, Hai Wan, Weilin Luo +3
In goal-oriented requirements engineering, goal conflict identification is of fundamental importance for requirements analysis. The task aims to find the feasible situations which…
cs.AI2019
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Weilin Luo, Hai Wan, Hongzhen Zhong +1
Prime compilation, i.e., the generation of all prime implicates or implicants (primes for short) of formulae, is a prominent fundamental issue for AI. Recently, the prime compilati…