Automated Code Repair to Ensure Spatial Memory Safety.
William KlieberRuben MartinsRyan SteeleMatt ChurillaMike McCallDavid SvobodaPublished in: APR@ICSE (2021)
Keyphrases
- spatio temporal
- spatial data
- spatial information
- spatial and temporal
- source code
- spatial reasoning
- automated analysis
- spatial locality
- computer aided
- spatial databases
- real time
- geographic information systems
- semi automated
- spatial objects
- traffic accidents
- computing power
- spatial relations
- spatial distribution
- fully automated
- space time
- database systems
- data sets