지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
기계학습 기반 기호실행
정보과학회지
2020 .04
프로그램 옵션을 통해 기호실행 성능 향상
한국정보과학회 학술발표논문집
2024 .12
Symbolic Execution 도구의 탐색방법과 비교결과에 관한 연구
한국통신학회 학술대회논문집
2020 .02
기호 실행 기반 응용프로그램 추론 기법을 이용한 프로토콜 역공학 방법 제안
한국정보과학회 학술발표논문집
2018 .06
Reverse Path Activation-based Reverse Influence Maximization in Social Networks
Journal of KIISE
2018 .11
입력 조건에 따라 도달하지 않는 영역을 기호 실행을 활용한 분석
한국정보과학회 학술발표논문집
2018 .06
프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델
정보보호학회논문지
2019 .10
기호 실행의 다양한 해결책 자동생성 기술
정보과학회지
2021 .05
시드 정렬을 통한 퍼징 기법 개선에 관한 연구
한국정보과학회 학술발표논문집
2019 .12
Fast Influence Maximization in Social Networks
Journal of KIISE
2017 .10
딥러닝을 활용한 퍼징 시드 파일 생성 기법
한국정보과학회 학술발표논문집
2019 .06
항공우주기술의 창의적 연구개발 지원을 위한 시드사업 소개
항공우주시스템공학회 학술행사 논문집
2016 .11
3차원 구조물의 선택적 도금을 위한 시드 제작
한국기계가공학회 춘추계학술대회 논문집
2017 .10
퍼징 시드 파일에 관한 연구 동향 분석
한국정보과학회 학술발표논문집
2019 .12
딥 러닝을 이용한 시드기반 악성 트래픽 연속적 그룹핑
한국통신학회 학술대회논문집
2018 .06
트리학습기반 퍼징 시드파일 생성
한국정보과학회 학술발표논문집
2019 .12
심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구
한국정보과학회 학술발표논문집
2017 .06
도금시드 제작을 위한 최적조건 연구
한국기계가공학회 춘추계학술대회 논문집
2017 .04
플로우의 연관성 모델과 시드 기반의 연속적인 그룹핑을 이용한 악성 트래픽 탐지
한국통신학회 학술대회논문집
2017 .11
공정 모델링을 위한 기호적 회귀분석 기반의 특징 선택
한국신뢰성학회 학술대회논문집
2023 .06
0