Software defect detection by combining bounded model checking and approximations of functions.
Marat Kh. AkhinMikhail A. BelyaevVladimir M. ItsyksonPublished in: Autom. Control. Comput. Sci. (2014)
Keyphrases
- defect detection
- bounded model checking
- formal verification
- source code
- software development
- model checking
- feature extraction
- temporal logic
- software systems
- automated visual inspection
- test cases
- user interface
- software testing
- linear temporal logic
- software architecture
- software tools
- cooperative
- web services
- computer vision
- learning algorithm