Nima Dini

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Machine Learning Models

Search Based Testing

Constraint Solving

Top Venues

Publications

Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Enhancing constraint-based repair of data structure errors that recur using memoization. SAC (2021)
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)
Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel
The Effect of Test Suite Type on Regression Test Selection. ISSRE (2016)