BOSQTGEN: Breaking the Sound Barrier in Test Generation. - S. M. Sadrul Islam Asif; James Chen; Earl T. Barr; Mark Marron (CoRR, 2025)