KAIST South Korea

  1. Home
  2. search page
  3. affiliation

KAIST South Korea

국가: Korea
주요 연구 분야: Strategies
주요 키워드: #researchers #manual #javascript
주요 저자:
#Joonyoung Park #Jihyeok Park #Dongjun Youn #S. Ryu #Tianyi Chen

📄 기관 상세정보

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

논문 목록 (2건)

Accelerating JavaScript static analysis via dynamic shortcuts
저자: Joonyoung Park , Jihyeok Park , Dongjun Youn , S. Ryu
키워드: #researchers #manual #javascript #built #shortcuts
파트: Strategies | 연도: 2021
Boosting static analysis accuracy with instrumented test executions
저자: Tianyi Chen , Kihong Heo , Mukund Raghothaman
키워드: #probabilistic #evidence #analyzer #dataflow #analyses
파트: Verification | 연도: 2021