Institute of Cyber Security Technology School of Electronic Information and Electrical Engineering Shanghai Jiaotong University Shanghai China

  1. Home
  2. search page
  3. affiliation

Institute of Cyber Security Technology School of Electronic Information and Electrical Engineering Shanghai Jiaotong University Shanghai China

국가: Andorra
주요 연구 분야: Verification
주요 키워드: #algorithm #tools #analyzer
주요 저자:
#Zi’ang Chen #Zhihong Zhou #Jianhua Li #Xiuzhen Chen #Jin Ma

📄 기관 상세정보

출판수1
총 인용수0
평균 인용수0.00
저자 수6
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)

Directed Symbolic Execution Tool Based on Clang Static Analyzer: Efficient and Accurate Verification of Static Analysis Results
저자: Zi’ang Chen , Zhihong Zhou , Jianhua Li , Xiuzhen Chen , Jin Ma , Xinlong Pan
키워드: #algorithm #tools #analyzer #filters #parsing
파트: Verification | 연도: 2025