File Download
There are no files associated with this item.
SFX Link
- Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)
- Yi, Jooyong
- Programming Languages and Software Engineering Lab.
Views & Downloads
Detailed Information
Cited time in 
Cited time in 
Cited time in
Metadata Downloads
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
- Author(s)
- Kim, Sehoon, Kim, Yonghyeon, Park, Dahyeon, Jeon, Yuseok, Yi, Jooyong, Kim, Mijung
- Issued Date
- 2025-04-27
- Citation
- IEEE/ACM International Conference on Software Engineering
- Publisher
- IEEE
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.