Page
%P
-
Article
An oversampling approach for mining program specifications
Automatic protocol mining is a promising approach for inferring accurate and complete API protocols. However, just as with any data-mining technique, this approach requires sufficient training data (object usa...
-
Article
Efficient vulnerability detection based on an optimized rule-checking static analysis technique
Static analysis is an efficient approach for software assurance. It is indicated that its most effective usage is to perform analysis in an interactive way through the software development process, which has a...