Analysis of software weakness detection of CBMC based on CWE.
Minjae ByunYongjun LeeJin-Young ChoiPublished in: ICACT (2020)
Keyphrases
- software systems
- automated analysis
- statistical analysis
- detection accuracy
- automatic detection
- static analysis
- quantitative analysis
- data analysis
- detection algorithm
- reliable detection
- databases
- detection rate
- software architecture
- medical images
- image analysis
- case study
- genetic algorithm
- information retrieval
- data mining
- neural network