Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
Ansgar FehnkerRalf HuuckBastian SchlichMichael TappPublished in: SOFSEM (2009)
Keyphrases
- software systems
- source code
- software development
- bug localization
- low cost
- software projects
- software design
- detection algorithm
- detection method
- false positives
- bug reports
- software package
- software evolution
- detection accuracy
- false alarms
- fully automatic
- automatic detection
- test cases
- object detection
- detection rate
- software architecture
- real time
- computer systems
- user interface
- lesion segmentation
- face recognition
- open source projects
- software packages
- neural network
- data sets