944 search results - page 70 / 189 » Software model checking without source code |
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...