CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction. - Hridya Dhulipala; Aashish Yadavally; Smit Soneshbhai Patel; Tien N. Nguyen (Proc. ACM Softw. Eng., 2025)