Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
software_verification_tools_overview [2007/06/21 14:49] clement.beffa |
software_verification_tools_overview [2007/06/29 10:42] clement.beffa |
||
---|---|---|---|
Line 5: | Line 5: | ||
===== Report ===== | ===== Report ===== | ||
- | Abstract : ... | + | Abstract : //Bugs are becoming a bigger concern nowadays as we |
- | * Report | + | are seeing their huge cost. Academics are building numerous |
+ | tools to get rid of them with more or less success. In | ||
+ | this paper, we make an overview of bug finding tools and | ||
+ | focus deeper on those targeting Java code. We explain the | ||
+ | purpose of each of them and test automatic tools on a specially | ||
+ | built Java test case in order to see their accuracy. Finally, | ||
+ | we develop our vision of a theoretical meta-tool which | ||
+ | would be able to combine the best of them.// | ||
+ | * {{sav_report_bgp.pdf|Report}} | ||
===== Files related to the presentation ===== | ===== Files related to the presentation ===== |