Elixir
| Autor: | Isao Nanba, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Ripon K. Saha, Hiroaki Yoshida |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Object-oriented programming
Java business.industry Computer science Rank (computer programming) 020207 software engineering 02 engineering and technology Software Software bug Software deployment 020204 information systems 0202 electrical engineering electronic engineering information engineering Elixir (programming language) Software engineering business computer computer.programming_language |
| Zdroj: | ICSE (Companion Volume) |
| DOI: | 10.1145/3183440.3183487 |
| Popis: | Object-oriented (OO) languages, by design, make heavy use of method invocations (MI). Unsurprisingly, a large fraction of OO-program bug patches also involves method invocations. However, current program repair techniques incorporate MIs in very limited ways, ostensibly to avoid searching the huge repair space that method invocations afford. To address this challenge, in previous work, we proposed a generate-and-validate repair technique which can effectively synthesize patches from a repair space rich in method invocation expressions, by using a machine-learned model to rank the space of concrete repairs. In this paper, we describe the tool Elixir that instantiates this technique for the repair of Java programs. We describe the architecture, user-interface, and salient features of Elixir, and specific use-cases it can be applied in. We also report on our efforts towards practical deployment of Elixir within our organization, including the initial results of a trial of Elixir on a project of interest to potential customers. A video demonstrating Elixir is available at: https://elixir-tool.github.io/demo-video.html |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|