Work

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering (ICSE)

DOI: 10.1109/icse55347.2025.00202

Authors: Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim

Institutions: Ulsan National Institute of Science and Technology, Korea University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411552657

FWCI: 1.599

Cites: 32

Cited by: 2

Related to: 10