Browsing by Author 이욱세

Jump to:
All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
  • Sort by:
  • In order:
  • Results/Page
  • Authors/Record:

Showing results 1 to 10 of 10

Issue DateTitleAuthor(s)
2008-02Applying Dataflow Analysis to Detecting Software Vulnerability이욱세
2008-02APROV: Another Program Verifier for Embedded Linux Device Drivers이욱세
2007-06Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers이욱세
2005-04Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis이욱세
2006-11A Practical String Analyzer by the Widening Approach이욱세
2008-07Scalable Shape Analysis for Systems Code이욱세
2005-10Static insertion of safe and effective memory reuse commands into ML-like programs이욱세
2006-11가벼운 모양분석을 통한 메모리 누수 탐지이욱세
2009-02소프트웨어 가치와 품질에 대한 인식전환이욱세
2006-09힙 메모리 분석 및 검증의 연구 동향이욱세