Software Vulnerability Assessment Version Extraction and Verification.
Martin BoldtBengt CarlssonRoy MartinssonPublished in: ICSEA (2007)
Keyphrases
- risk assessment
- software design
- software development
- software tools
- model checking
- software developers
- computer systems
- software systems
- quality assessment
- hardware designs
- formal verification
- software package
- formal methods
- automatic extraction
- neural network
- software architecture
- source code
- software engineering
- information extraction
- information systems
- artificial intelligence
- computer software
- commercial software
- software platform
- information retrieval