Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
A. Germán MárquezÁngel Jesús Varela-VacaMaría Teresa Gómez-LópezJosé A. GalindoDavid BenavidesPublished in: Comput. Secur. (2024)
Keyphrases
- software projects
- modulo theories
- impact analysis
- source code
- dependency analysis
- software development
- satisfiability modulo theories
- answer set programming
- software systems
- open source
- software engineering
- software maintenance
- software quality
- software development effort
- risk management
- software project management
- risk assessment
- project management
- effort estimation
- stable model semantics
- development process
- high level
- ontology driven
- software development projects
- database
- logic programming
- sat solvers
- orders of magnitude
- logic programs
- information entropy