Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.
Thales SilvaCarmina PortoErickson H. da S. AlvesLucas C. CordeiroHerbert RochaPublished in: CoRR (2021)
Keyphrases
- software systems
- security vulnerabilities
- software engineering
- source code
- software development
- software maintenance
- software architecture
- intrusion detection
- software components
- software evolution
- penetration testing
- linux kernel
- metamodel
- model checking
- case study
- machine learning
- component based software
- security properties
- multi agent systems
- information systems
- dos attacks
- complex software systems