Khashayar Etemadi
Orcid: 0000-0003-2183-9633
According to our database1,
Khashayar Etemadi
authored at least 15 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models.
CoRR, 2024
2023
IEEE Trans. Dependable Secur. Comput., 2023
2022
J. Syst. Softw., 2022
2021
2020
Incorporating fault-proneness estimations into coverage-based test case prioritization methods.
Inf. Softw. Technol., 2020
CoRR, 2020
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
2015