Cagdas Yelen

According to our database1, Cagdas Yelen authored at least 6 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A study of learning likely data structure properties using machine learning models.
Int. J. Softw. Tools Technol. Transf., 2020

Predictive constraint solving and analysis.
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.
Proceedings of the Model Checking Software - 26th International Symposium, 2019

Extension-Aware Automated Testing Based on Imperative Predicates.
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.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Optimizing parallel Korat using invalid ranges.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017


  Loading...