The effect of test suite type on regression test selection N Dini, A Sullivan, M Gligoric, G Rothermel 2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016 | 15 | 2016 |
Optimizing parallel Korat using invalid ranges N Dini, C Yelen, S Khurshid Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 13 | 2017 |
MKorat: A novel approach for memorizing the Korat search and some potential applications N Dini | 11 | 2016 |
A study of learning data structure invariants using off-the-shelf tools M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 10 | 2019 |
Korat-API: A framework to enhance Korat to better support testing and reliability techniques N Dini, C Yelen, Z Alrmaih, A Kulkarni, S Khurshid Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1934-1943, 2018 | 10 | 2018 |
Extension-aware automated testing based on imperative predicates N Dini, C Yelen, M Gligoric, S Khurshid 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 4 | 2019 |
A study of learning likely data structure properties using machine learning models M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid International Journal on Software Tools for Technology Transfer 22, 601-615, 2020 | 3 | 2020 |
Predictive constraint solving and analysis A Almaawi, N Dini, C Yelen, M Gligoric, S Misailovic, S Khurshid Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 3 | 2020 |
Enhancing constraint-based repair of data structure errors that recur using memoization N Dini, RN Zaeem, S Khurshid Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1823-1832, 2021 | 1 | 2021 |
Enhancements to solving constraints written as imperative predicates N Dini | | 2021 |