The verification of program relationships in the context of software cybernetics.
Huaxiao LiuYuzhou LiuLei LiuPublished in: J. Syst. Softw. (2017)
Keyphrases
- hardware designs
- static analysis
- symbolic execution
- program understanding
- contextual information
- software systems
- software development
- fault localization
- context dependent
- test data generation
- software tools
- source code
- software projects
- design patterns
- data sets
- computer programs
- software design
- face verification
- conceptual model
- formal methods
- formal verification
- computer systems
- user interface
- working environment
- information systems
- neural network