Towards producing a ground-truth dataset of safety bugs in the Linux Kernel.
Michel Maes-BermejoGregorio RoblesJesús M. González-BarahonaMicael GallegoDaniel Izquierdo-CortazarPaul SherwoodPublished in: BENEVOL (2023)
Keyphrases
- linux kernel
- source code
- software systems
- operating system
- clone detection
- open source
- high quality
- software evolution
- software development
- software projects
- software engineering
- artificial intelligence
- safety critical
- analysis tool
- static analysis
- high level
- software maintenance
- test cases
- computer systems
- software repositories
- road safety
- safety analysis
- coal mining
- monitoring system
- file system
- distance function
- multi agent systems
- case study