Cagdas Yelen

Cagdas Yelen

University of Texas Austin - Austin / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5676906
University of Texas at Austin
person_outline Cagdas Yelen's MOST POPULAR ARTICLES
1-) A study of learning data structure invariants using off-the-shelf tools Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
2-) Korat-API: A framework to enhance Korat to better support testing and reliability techniques Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1934-1943, 2018
3-) Optimizing parallel Korat using invalid ranges Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
4-) Predictive constraint solving and analysis Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
5-) Extension-aware automated testing based on imperative predicates 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019