Southern University of Science and Technology Shenzhen China / Hong Kong Polytechnic University Hong Kong China

  1. Home
  2. search page
  3. affiliation

Southern University of Science and Technology Shenzhen China / Hong Kong Polytechnic University Hong Kong China

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

📄 기관 상세정보

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

논문 목록 (1건)

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