Statically Inferring Usage Bounds for Infrastructure as Code.
Feitong QiaoAryana MohammadiJürgen CitoMark SantolucitoPublished in: CoRR (2024)
Keyphrases
- upper bound
- source code
- lower bound
- data collection
- application programming interface
- information systems
- address space
- worst case
- upper and lower bounds
- machine learning
- support environment
- error bounds
- program code
- database
- java virtual machine
- tight bounds
- remote access
- static analysis
- operating system
- open source
- support vector
- objective function