| 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 |
| 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 |
| 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 | 4 | 2020 |
| 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 |
| Backward-Korat: improving Korat search to enable backward input space exploration C Yelen | | 2017 |
Sarfraz KhurshidProfessor, University of Texas at AustinПотвърден имейл адрес: ece.utexas.edu
