Skip to content

Nima Dini

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2016–2021

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2021SACEnhancing constraint-based repair of data structure errors that recur using memoization.Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2020ICSEPredictive constraint solving and analysis.Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2019ICSTExtension-Aware Automated Testing Based on Imperative Predicates.Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
2018SACKorat-API: a framework to enhance korat to better support testing and reliability techniques.Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid
2016ISSREThe Effect of Test Suite Type on Regression Test Selection.Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel