Publikation: Automatic Repair of Timestamp Compariso...
Stammdaten
Titel: | Automatic Repair of Timestamp Comparisons |
Untertitel: | |
Kurzfassung: | Automated program repair has the potential to reduce the developers’ effort to fix errors in their code. In particular, modernprogramming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, introducingsubtle errors that are hard to discover and repair. Recent researches on automated program repair rely on test cases to discoverfailures to correct, making them suitable only for regression errors. We propose a new strategy to automatically repair programs thatsuffer from timestamp overflows that are manifested in comparison expressions. It unifies the benefits of static analysis and automaticprogram repair avoiding dependency on testing to identify and correct defected code. Our approach performs an abstract analysis overthe time domain of a program using a Time Type System to identify the problematic comparison expressions. The repairing strategyrewrites the timestamp comparisons exploiting the binary representation of machine numbers to correct the code. We have validatedthe applicability of our approach with 20 open source Java projects. The results show that it is able to correctly repair all 246 identifiederrors. To further validate the reliability of our approach, we have proved the soundness of both, type system and repairing strategy.Furthermore, several patches for three open source projects have been acknowledged and accepted by their developers. |
Schlagworte: |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 21.10.2019 (Online) |
Erschienen in: |
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
(
IEEE;
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | 14 |
Heftnummer: | 8 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | - |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 21.10.2019 |
ISBN (e-book): | - |
eISSN: | 1939-3520 |
DOI: | http://dx.doi.org/10.1109/TSE.2019.2948351 |
Homepage: | https://ieeexplore.ieee.org/abstract/document/8877769 |
Open Access |
|
AutorInnen
Giovanni Liva (intern) | ||||
Muhammad Taimoor Khan (intern) | ||||
Martin Pinzger (intern) | ||||
Francesco Spegni
|
||||
Luca Spalazzi
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Università Politecnica delle Marche (UNIVPM)
|
IT - 60121 Ancona |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |