논문 상세
목록A Survey of Parametric Static Analysis
작성자
관리자
조회수
35
등록일
2024-07-23
논문 상세정보
| 과제 | SW를 진단하는 분석기를 사용자 요구에 맞춰 자동으로 합성하는 프레임워크 개발 | ||||
|---|---|---|---|---|---|
| 논문명 | A Survey of Parametric Static Analysis | ||||
| 성과고유번호 | JNL-2021-00112064128 | 성과발생연도 | 2021 | 국내외구분 | |
| 학술지구분 | 학술지유형 | SCIE | |||
| 논문초록 | |||||
| 주저자 | Park, Jihyeok | 소속기관명 | 한국과학기술원 | 기여율 | 100.0 % |
| 공동저자 | |||||
학술지
| 학술지명 | ACM COMPUTING SURVEYS | 권(호) | 54 (7) | 시작페이지 | |||
|---|---|---|---|---|---|---|---|
| DOI | 10.1145/3464457 | ISSN | ISBN | ||||
| 최초등록 | 관리자, 2024-07-23 PM 04시 09분 | 최종수정 | 관리자, 2024-10-24 PM 01시 33분 | ||||
논문 원문