Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers.
Jia-Ju BaiQiu-Liang ChenZu-Ming JiangJulia LawallShi-Min HuPublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- dynamic analysis
- high quality
- data sets
- data processing
- data analysis
- static analysis
- data structure
- database
- synthetic data
- data objects
- data points
- original data
- data collection
- high dimensional data
- database systems
- training data
- data mining
- data sources
- data mining techniques
- measurement data
- raw data
- concurrency control
- reverse engineering
- spatial data
- data integration
- object oriented
- probability distribution
- data model
- relational databases
- high level
- machine learning
- databases