기호 실행의 성능 극대화를 위한 최적의 시드 선택 기법
52권 7호, pp. 572-578, 7월 2025

요약
통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
|
논문 참조
[IEEE Style]
J. Lee and S. Cha, "An effective Seed Selection Method for Maximizing the Performance of Symbolic Execution," Journal of KIISE, JOK, vol. 52, no. 7, pp. 572-578, 2025. DOI: 10.5626/JOK.2025.52.7.578.
[ACM Style]
Jaehyeok Lee and Sooyoung Cha. 2025. An effective Seed Selection Method for Maximizing the Performance of Symbolic Execution. Journal of KIISE, JOK, 52, 7, (2025), 572-578. DOI: 10.5626/JOK.2025.52.7.578.
[KCI Style]
이재혁, 차수영, "기호 실행의 성능 극대화를 위한 최적의 시드 선택 기법," 한국정보과학회 논문지, 제52권, 제7호, 572~578쪽, 2025. DOI: 10.5626/JOK.2025.52.7.578.
[Endnote/Zotero/Mendeley (RIS)] Download
[BibTeX] Download