Cagdas Yelen

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

University Students

Learning Models

Search Based Testing

Top Venues

Publications

Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Predictive constraint solving and analysis. ICSE (NIER) (2020)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
Extension-Aware Automated Testing Based on Imperative Predicates. ICST (2019)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN (2019)
Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid
Korat-API: a framework to enhance korat to better support testing and reliability techniques. SAC (2018)
Nima Dini, Cagdas Yelen, Sarfraz Khurshid
Optimizing parallel Korat using invalid ranges. SPIN (2017)