BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment.
Pavel ParízekPublished in: ATVA (2019)
Keyphrases
- complex environments
- input output
- automated analysis
- software systems
- automatic detection
- object detection
- source code
- detection method
- autonomous agents
- false alarms
- detection accuracy
- detection algorithm
- semi automated
- memory efficient
- software projects
- main memory
- digital libraries
- database systems
- event detection
- high level programming
- file system
- detection rate
- website
- false positives
- high speed
- high level