Riener, Heinz and Ehlers, Rüdiger and Fey, Görschwin (2015) Path-Based Program Repair. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), 2015-04-12, London, United Kingdom. doi: 10.4204/EPTCS.178.3.
Full text not available from this repository.
Official URL: https://doi.org/10.4204/EPTCS.178.3
Item URL in elib: | https://elib.dlr.de/101506/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
Additional Information: | Ergebnis aus H2020 Projekt | ||||||||||||||||
Title: | Path-Based Program Repair | ||||||||||||||||
Authors: |
| ||||||||||||||||
Date: | 2015 | ||||||||||||||||
Refereed publication: | Yes | ||||||||||||||||
Open Access: | No | ||||||||||||||||
Gold Open Access: | No | ||||||||||||||||
In SCOPUS: | No | ||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||
DOI: | 10.4204/EPTCS.178.3 | ||||||||||||||||
Status: | Published | ||||||||||||||||
Keywords: | Formal Methods, Debugging, Repair, Programming | ||||||||||||||||
Event Title: | International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA) | ||||||||||||||||
Event Location: | London, United Kingdom | ||||||||||||||||
Event Type: | Workshop | ||||||||||||||||
Event Date: | 12 April 2015 | ||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
HGF - Program: | Space | ||||||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||
DLR - Research theme (Project): | R - Core Avionics (old) | ||||||||||||||||
Location: | Bremen | ||||||||||||||||
Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||
Deposited By: | Fey, Görschwin | ||||||||||||||||
Deposited On: | 19 Jan 2016 12:04 | ||||||||||||||||
Last Modified: | 19 Aug 2024 12:19 |
Repository Staff Only: item control page