Efficient Kernel Source Code Management for BMC Optimization. - Kyungeun Oh; Jeonghwan Oh; Hangyeol Kim; Seongmo An; Junyoung Heo; Jiman Hong (SAC, 2025)