Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool. - Sanghoon Rho; Philipp Martens; Seungcheol Shin; Yeoneo Kim; Hoon Heo; SeungHyun Oh (IWESQ/QuASoQ@APSEC, 2023)

Taming the Beast: Fully Automated Unit Testing with Coyote C++. - Sanghoon Rho; Philipp Martens; Seungcheol Shin; Yeoneo Kim (CoRR, 2024)

Decomposition of one-layer neural networks via the infinite sum of reproducing kernel Banach spaces. - Seungcheol Shin; Myungjoo Kang (CoRR, 2024)