Efficient Kernel Source Code Management for BMC Optimization.

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

ACM Symposium on Applied Computing（2025）

Cited 0|Views0

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined