Cargando…
Must Fault Localization for Program Repair
This work is concerned with fault localization for automated program repair. We define a novel concept of a must location set. Intuitively, such a set includes at least one program location from every repair for a bug. Thus, it is impossible to fix the bug without changing at least one location from...
Autores principales: | Rothenberg, Bat-Chen, Grumberg, Orna |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363178/ http://dx.doi.org/10.1007/978-3-030-53291-8_33 |
Ejemplares similares
-
Assume, Guarantee or Repair
por: Frenkel, Hadar, et al.
Publicado: (2020) -
Weight prioritized slicing based on constraint logic programming for fault localization
por: Ren, Shengbing, et al.
Publicado: (2020) -
Must
Publicado: (1892) -
Minimalist module analysis for fault detection and localization
por: Lou, Zhijiang, et al.
Publicado: (2021) -
To curb COVID-19, global health must go local
Publicado: (2021)