4 search results - page 1 / 1 » Identifying static analysis techniques for finding non-fix h... |
CIKM
2009
Springer
13 years 9 months ago
2009
Springer
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...
SIGSOFT
2006
ACM
13 years 11 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ICST
2009
IEEE
13 years 12 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...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...