Zobrazeno 1 - 10
of 550
pro vyhledávání: '"Amorim, Marcelo"'
Recent work in automated program repair (APR) proposes the use of reasoning and patch validation feedback to reduce the semantic gap between the LLMs and the code under analysis. The idea has been shown to perform well for general APR, but its effect
Externí odkaz:
http://arxiv.org/abs/2405.15690
Sonatype's 2023 report found that 97% of developers and security leads integrate generative Artificial Intelligence (AI), particularly Large Language Models (LLMs), into their development process. Concerns about the security implications of this tren
Externí odkaz:
http://arxiv.org/abs/2403.15600
Autor:
Silva, Denini, Gruber, Martin, Gokhale, Satyajit, Arteca, Ellen, Turcotte, Alexi, d'Amorim, Marcelo, Lam, Wing, Winter, Stefan, Bell, Jonathan
Flaky tests are tests that nondeterministically pass and fail in unchanged code. These tests can be detrimental to developers' productivity. Particularly when tests run in continuous integration environments, the tests may be competing for access to
Externí odkaz:
http://arxiv.org/abs/2310.12132
Few-shot learning with large-scale, pre-trained language models is a powerful way to answer questions about code, e.g., how to complete a given code example, or even generate code snippets from scratch. The success of these models raises the question
Externí odkaz:
http://arxiv.org/abs/2206.01335
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from c
Externí odkaz:
http://arxiv.org/abs/2201.10874
Online participant recruitment platforms such as Prolific have been gaining popularity in research, as they enable researchers to easily access large pools of participants. However, participant quality can be an issue; participants may give incorrect
Externí odkaz:
http://arxiv.org/abs/2201.05348
Docker is a tool for lightweight OS-level virtualization. Docker images are created by performing a build, controlled by a source-level artifact called a Dockerfile. We studied Dockerfiles on GitHub, and -- to our great surprise -- found that over a
Externí odkaz:
http://arxiv.org/abs/2103.02591