Automatic repair of timestamp comparisons
- Submitting institution
-
University of Greenwich
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 24433
- Type
- D - Journal article
- DOI
-
10.1109/TSE.2019.2948351
- Title of journal
- IEEE Transactions on Software Engineering
- Article number
- -
- First page
- 1
- Volume
- 0
- Issue
- UNSPECIFIED
- ISSN
- 0098-5589
- Open access status
- Compliant
- Month of publication
- -
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is one of the first implementations to automatically detect and repair various errors in Java programs, such as overflow and time errors. The methodology is formally proven sound to be able to detect and repair errors automatically without modifying program behavior. It was able to detect and correct 246 errors across 20 real-world Java based distributed and network programs of size 7K-1800K LOC on Github. The repairs have been acknowledged and since then fixed by their developers, including Apache (Kafka and Elastic) as manifested in GitHub PRs. This work is extended as e-commerce software recovery engine in H2020 ENSURESEC.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
