Software Engineering Institute East China Normal University Shanghai China

  1. Home
  2. search page
  3. affiliation

Software Engineering Institute East China Normal University Shanghai China

국가: China
주요 연구 분야: Verification
주요 키워드: #security #software #tools
주요 저자:
#Yihua Xu #Chengyu Zhang #Geguang Pu #Song Min Gyu #Ai Liu

📄 기관 상세정보

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

논문 목록 (2건)

Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
저자: Yihua Xu , Chengyu Zhang , Geguang Pu
키워드: #security #software #tools #automate #analyzers
파트: Verification | 연도: 2025
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
저자: Song Min Gyu , Ai Liu , Yang Liu , Shaoying Liu
키워드: #automated #manual #testing #verification #proof
파트: Verification | 연도: 2025