연구동향 분석

CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구

박민규 ( Ming Yu Park ) 김동우(Dong-woo Kim) 최윤자 ( Yun Ja Choi ) 2015년

논문상세정보
인용/피인용
' CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구' 의 주제별 논문영향력
논문영향력 선정 방법
논문영향력 요약
주제
  • automotive os
  • program slicing
  • safety checking
  • 안전성 검증
  • 차량 전장용 운영체제
  • 코드 슬라이싱
동일주제 총논문수 논문피인용 총횟수 주제별 논문영향력의 평균
10 0

0.0%

' CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구' 의 참고문헌

  • frama-C
  • Trampoline
  • The Wisconsin Program-Slicing Tool
  • Software inspection using codesurfer
    P. Anderson Proceeding of the first workshop on inspection in software engineering [2001]
  • Slicing object-oriented software
    Harrold, M. J. Larsen, L. Software Engineering 1996, Proceedings of the 18th International Conference on. IEEE [1996]
  • Slicing for security of code
    Monate, B. Signoles, J. First International Conference on Trusted Computing and Trust in Information Technologies : 133 ~ 142 [2008]
  • Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
    M. Park Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems : 305 ~ 319 [2012]
  • Program slicing
    M. Weiser IEEE Transactions on Software Engineering 10 (4) [1984]
  • Program analysis and specialization for the C programming language
    L. O. Andersen University of Cophenhagen [1994]
  • OSEK/VDX
  • MISRA-C
  • Eclipse CDT
  • Design and implementation of a fine-grained software inspection tool
    P. Anderson Software Engineering, IEEE Transactions on : 721 ~ 733 [2003]
  • Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK
    H. Thiagarajan Source Code Analysis and Manipulation, IEEE 12th International Working Conference on 2012 [2012]
  • A tool for checking ANSI-C programs
    E. Clarke 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems : 168 ~ 176 [2004]
  • A survey of program slicing techniques
    F. Tip Journal of programming languages : 121 ~ 189 [1995]
  • A function finder for property-based extraction of test target functions
    D. Kim The 39th Conference of the KIPS : 954 ~ 957 [2013]
  • A Function Network Analyzer for Efficient Analysis of Automotive Operating System
    Z. Lu The 39th Conference of the KIPS : 972 ~ 975 [2013]