Comprehensively Labeled Weakness and Vulnerability Datasets via Unambiguous Formal Bugs Framework Specifications.

Published in: IT Prof. (2024)

Keyphrases

main contribution
database
data sets
machine learning
training data
theoretical framework
formal model
formal specification
genetic algorithm
lightweight
software systems