Pragmatic random sampling of Kconfig-based systems: A unified approach - Fernandez-Amoros,D.; Heradio,R.; Horcas,J.-M.; Galindo,J.A.; Benavides,D.; Fuentes,L. (Journal of Systems and Software, 2025)