According to our database1, Cagdas Yelen authored at least 6 papers between 2017 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
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
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017