이주용 교수 연구실
IEEE/ACM International Conference on Software Engineering
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
구분
국외
국가
캐나다
컨퍼런스명
IEEE/ACM International Conference on Software Engineering
발표 제목
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
기관명
IEEE
참여 연도
2025
상세 설명
IEEE