Title
Automatic Repair of Timestamp Comparisons
Abstract
Automated program repair has the potential to reduce the developers’ effort to fix errors in their code. In particular, modern programming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, introducing subtle errors that are hard to discover and repair. Recent researches on automated program repair rely on test cases to discover failures to c...
Year
DOI
Venue
2021
10.1109/TSE.2019.2948351
IEEE Transactions on Software Engineering
Keywords
DocType
Volume
Maintenance engineering,Java,Semantics,Static analysis,Software,Testing
Journal
47
Issue
ISSN
Citations 
11
0098-5589
1
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Giovanni Liva132.06
Muhammad Taimoor Khan2218.30
Martin Pinzger32147120.49
F. Spegni4186.01
Luca Spalazzi519734.55