Understanding The Impact of Solver Choice in Model-Based Test Generation.

Ying Meng, Gregory Gay

Browse the full ESEM paper archive.