English Publications
2026
Queen Domination by SAT Solving
Efficient Encoding of the Queen Domination Problem into SAT Using Line Variables, Hilbert Curve Ordering, Static Symmetry Breaking and CnC. Using this encoding, discrepancies in previous results are corrected, and the previously open case n=19 is solved.
2023
FrMi: Fault-revealing Mutant Identification using Killability Severity
A feature representing the difficulty of killing a mutant is added as a new feature to complement the state-of-the-art feature set. Then a method is proposed that uses this feature for fault-revealing mutants’ prediction. According to our experimental results, the proposed method outperforms the state-of-the-art method in terms of the Area Under Curve value on the Codeflaws and CoRBench data sets by 7.09% and 8.97%, respectively.