2 papers
cs.SE2026
Where Does the Budget Go? Structural Concentration in Learning-Based Mutant Selection
Taha Rostami, Jeongju Sohn, Mike Papadakis
Learning-based mutant selection is used to reduce the cost of mutation testing by ranking and selecting the mutants that seem to be the most promising. Prior work has shown great p…
cs.LO2025
Queen Domination by SAT Solving
Taha Rostami, Curtis Bright
The queen domination problem asks for the minimum number of queens required to attack all squares on an chessboard. Once this optimal number is known, determining the…