Efficient Kernel Source Code Management for BMC Optimization.

Kyungeun Oh, Jeonghwan Oh, Hangyeol Kim, Seongmo An, Junyoung Heo, Jiman Hong

Browse the full SAC paper archive.