Hong Kong Polytechnic University Hong Kong China

  1. Home
  2. search page
  3. affiliation

Hong Kong Polytechnic University Hong Kong China

국가: China
주요 연구 분야: Strategies
주요 키워드: #inconsistencies #heuristic #analyzer
주요 저자:
#Huaien Zhang #Yu Pei #Junjie Chen #Shinhwei Tan #Huaien Zhang

📄 기관 상세정보

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

논문 목록 (2건)

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
저자: Yu Pei , Shinhwei Tan , Huaien Zhang , Shuyun Liang , Zezhong Xing
키워드: #graph #empirical #software #testing #demonstrating
파트: Verification | 연도: 2024
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
저자: Huaien Zhang , Yu Pei , Junjie Chen , Shinhwei Tan
키워드: #inconsistencies #heuristic #analyzer #analyzers #heuristics
파트: Strategies | 연도: 2023