Showing results 6 to 11 of 11
Issue Date | Title | Author(s) |
---|---|---|
2006-11 | A Practical String Analyzer by the Widening Approach | 이욱세 |
2008-07 | Scalable Shape Analysis for Systems Code | 이욱세 |
2005-10 | Static insertion of safe and effective memory reuse commands into ML-like programs | 이욱세 |
2006-11 | 가벼운 모양분석을 통한 메모리 누수 탐지 | 이욱세 |
2009-02 | 소프트웨어 가치와 품질에 대한 인식전환 | 이욱세 |
2006-09 | 힙 메모리 분석 및 검증의 연구 동향 | 이욱세 |