Automatically detecting and fixing concurrency bugs in go software systems.
Ziheng LiuShuofei ZhuBoqin QinHao ChenLinhai SongPublished in: ASPLOS (2021)
Keyphrases
- software systems
- automatically detecting
- source code
- automatic detection
- software engineering
- software design
- software projects
- software development
- software maintenance
- linux kernel
- software architecture
- software components
- multi agent systems
- component based software
- database systems
- software evolution
- software testing
- software engineers
- concurrency control
- database
- machine learning
- real world
- software quality
- web services
- soccer video
- feature selection
- clone detection