AVOID: Automated Void Detection in STL Files. - Sarah Roscoe; Logan Hellbusch; Chamath Gunawardena; Jitender S. Deogun; Witawas Srisa-an; Yi Qian 001; Gabriela F. Ciocarlie (IEEE Trans. Dependable Secur. Comput., 2025)