Nima Dini

According to our database, Nima Dini authored at least 8 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Enhancing constraint-based repair of data structure errors that recur using memoization.

Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

A study of learning likely data structure properties using machine learning models.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2020

Predictive constraint solving and analysis.

Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Extension-Aware Automated Testing Based on Imperative Predicates.

Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

Korat-API: a framework to enhance korat to better support testing and reliability techniques.

Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Optimizing parallel Korat using invalid ranges.

Nima Dini, Cagdas Yelen, Sarfraz Khurshid

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

The Effect of Test Suite Type on Regression Test Selection.

Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016