Khashayar Etemadi

23 papers Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems.
AISoLA
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025 J jnl
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems.
CoRR
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam, Per Erik Strandberg, Paul Pettersson
2025 J jnl
Mokav: Execution-driven differential testing with LLMs.
J. Syst. Softw.
Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus
2025 — conf
VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models.
FormaliSE
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
2024 J jnl
CigaR: Cost-efficient Program Repair with LLMs.
CoRR
Dávid Hidvégi, Khashayar Etemadi, Sofia Bobadilla, Martin Monperrus
2024 J jnl
Generative AI to Generate Test Data Generators.
CoRR
Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage, Yi Liu, Yuxin Liu, Martin Monperrus, Javier Ron, André Silva, Deepika Tiwari
2024 J jnl
Generative AI to Generate Test Data Generators.
IEEE Softw.
Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage, Yi Liu, Yuxin Liu, Martin Monperrus, Javier Ron, André Silva, Deepika Tiwari
2024 J jnl
Mokav: Execution-driven Differential Testing with LLMs.
CoRR
Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus
2024 J jnl
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models.
CoRR
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
2023 J jnl
Augmenting Diffs With Runtime Information.
IEEE Trans. Software Eng.
Khashayar Etemadi, Aman Sharma, Fernanda Madeiral, Martin Monperrus
2023 J jnl
Human, What Must I Tell You?
IEEE Softw.
Markus Borg, Emil Aasa, Khashayar Etemadi, Martin Monperrus
2023 J jnl
Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations.
IEEE Trans. Dependable Secur. Comput.
Khashayar Etemadi, Nicolas Harrand, Simon Larsén, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikström, Martin Monperrus
2022 J jnl
Augmenting Diffs With Runtime Information.
CoRR
Khashayar Etemadi, Aman Sharma, Fernanda Madeiral, Martin Monperrus
2022 J jnl
Estimating the potential of program repair search spaces with commit analysis.
J. Syst. Softw.
Khashayar Etemadi, Niloofar Tarighat, Siddharth Yadav, Matias Martinez, Martin Monperrus
2021 J jnl
A Software-Repair Robot Based on Continual Learning.
IEEE Softw.
Benoit Baudry, Zimin Chen, Khashayar Etemadi, Han Fu, Davide Ginelli, Steve Kommrusch, Matias Martinez, Martin Monperrus, Javier Ron Arteaga, He Ye, Zhongxing Yu
2021 J jnl
Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations.
CoRR
Khashayar Etemadi, Nicolas Harrand, Simon Larsén, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikström, Martin Monperrus
2020 J jnl
Incorporating fault-proneness estimations into coverage-based test case prioritization methods.
Inf. Softw. Technol.
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali
2020 J jnl
Longitudinal Analysis of the Applicability of Program Repair on Past Commits.
CoRR
Khashayar Etemadi, Niloofar Tarighat, Siddharth Yadav, Matias Martinez, Martin Monperrus
2020 — conf
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation.
ICSE (Workshops)
Khashayar Etemadi, Martin Monperrus
2020 J jnl
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation.
CoRR
Khashayar Etemadi, Martin Monperrus
2020 J jnl
R-Hero: A Software Repair Bot based on Continual Learning.
CoRR
Benoit Baudry, Zimin Chen, Khashayar Etemadi, Han Fu, Davide Ginelli, Steve Kommrusch, Matias Martinez, Martin Monperrus, Javier Ron, He Ye, Zhongxing Yu
2019 J jnl
Incorporating fault-proneness estimations into coverage-based test case prioritization methods.
CoRR
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali
2015 J jnl
Even and Odd Cycles Passing a Given Edge or a Vertex.
CoRR
Saieed Akbari, Khashayar Etemadi, Peyman Ezzati, Mehrdad Ghadiri