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
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
4
3
1
1
3
1
1
1
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