54 citations · 136 across the 14 of their papers we have counts for
14 papers
JETO-Bench: A Reproducible Benchmark for Execution Time Improvement Patches in Java
Khashayar Etemadi, Zhendong Su
Automated fixing of performance issues is gaining attention, but existing benchmarks of execution time improvement patches (ETIPs) target Python, C++, or .NET and are fixed dataset…
CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
Tommy Ho, Khashayar Etemadi, Zhendong Su
Recent progress in automated repair of performance bugs demands realistic, executable benchmarks. However, existing C++ performance benchmarks are largely built from competitive pr…
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam +2
Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety…
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
Large language models have demonstrated impressive capabilities in generating code, yet they often produce programs with flaws or deviations from intended behavior, limiting their…
Mokav: Execution-driven Differential Testing with LLMs
Khashayar Etemadi, Bardia Mohammadi, Zhendong Su +1
It is essential to detect functional differences between programs in various software engineering tasks, such as automated program repair, mutation testing, and code refactoring. T…
CigaR: Cost-efficient Program Repair with LLMs
Dávid Hidvégi, Khashayar Etemadi, Sofia Bobadilla +1
Large language models (LLM) have proven to be effective at automated program repair (APR). However, using LLMs can be costly, with companies invoicing users by the number of tokens…
Generative AI to Generate Test Data Generators
Benoit Baudry, Khashayar Etemadi, Sen Fang +7
Generating fake data is an essential dimension of modern software testing, as demonstrated by the number and significance of data faking libraries. Yet, developers of faking librar…
Augmenting Diffs With Runtime Information
Khashayar Etemadi, Aman Sharma, Fernanda Madeiral +1
Source code diffs are used on a daily basis as part of code review, inspection, and auditing. To facilitate understanding, they are typically accompanied by explanations that descr…
Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations
Khashayar Etemadi, Nicolas Harrand, Simon Larsen +6
Previous work has shown that early resolution of issues detected by static code analyzers can prevent major costs later on. However, developers often ignore such issues for two mai…
A Software-Repair Robot based on Continual Learning
Benoit Baudry, Zimin Chen, Khashayar Etemadi +8
Software bugs are common and correcting them accounts for a significant part of costs in the software development and maintenance process. This calls for automatic techniques to de…
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation
Khashayar Etemadi, Martin Monperrus
Commit messages play an important role in software maintenance and evolution. Nonetheless, developers often do not produce high-quality messages. A number of commit message generat…
Estimating the Potential of Program Repair Search Spaces with Commit Analysis
Khashayar Etemadi, Niloofar Tarighat, Siddharth Yadav +2
The most natural method for evaluating program repair systems is to run them on bug datasets, such as Defects4J. Yet, using this evaluation technique on arbitrary real-world progra…
Incorporating fault-proneness estimations into coverage-based test case prioritization methods
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi +2
Context: During the development process of a software program, regression testing is used to ensure that the correct behavior of the software is retained after updates to the sourc…
Even and Odd Cycles Passing a Given Edge or a Vertex
Saieed Akbari, Khashayar Etemadi, Peyman Ezzati +1
In this paper we provide some sufficient conditions for the existence of an odd or even cycle that passing a given vertex or an edge in -connected or -edge connected graphs.…