Optimizing parallel Korat using invalid ranges. - Nima Dini; Cagdas Yelen; Sarfraz Khurshid (SPIN, 2017)

Korat-API: a framework to enhance korat to better support testing and reliability techniques. - Nima Dini; Cagdas Yelen; Zakaria Alrmaih; Amresh Kulkarni; Sarfraz Khurshid (SAC, 2018)

Extension-Aware Automated Testing Based on Imperative Predicates. - Nima Dini; Cagdas Yelen; Milos Gligoric 001; Sarfraz Khurshid (ICST, 2019)

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (SPIN, 2019)

Predictive constraint solving and analysis. - Alyas Almaawi; Nima Dini; Cagdas Yelen; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ICSE (NIER), 2020)

A study of learning likely data structure properties using machine learning models. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (Int. J. Softw. Tools Technol. Transf., 2020)