Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
software_verification_tools_overview [2007/06/21 14:49] clement.beffa |
software_verification_tools_overview [2009/01/14 17:17] vkuncak |
||
|---|---|---|---|
| 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 ===== | ||
| Line 16: | Line 24: | ||
| The paper [[http://www.cs.umd.edu/~jfoster/papers/issre04.pdf|A Comparison of Bug Finding Tools for Java]] is related to our project and was explained with those {{javabugs.pdf|slides}} during class. | The paper [[http://www.cs.umd.edu/~jfoster/papers/issre04.pdf|A Comparison of Bug Finding Tools for Java]] is related to our project and was explained with those {{javabugs.pdf|slides}} during class. | ||
| + | Another tool list ([[http://www.daimi.au.dk/%7Eamoeller/SV/|from here]]) | ||
| + | * SLAM | ||
| + | * Java PathFinder | ||
| + | * Bandera | ||
| + | * Blast | ||
| + | * SPIN | ||
| + | * ESP | ||
| + | * TVLA | ||
| + | * Cyclone | ||
| + | * CQual | ||
| + | * ESC/Java | ||
| + | * MC | ||
| + | * Saturn | ||
| + | * CUTE | ||
| + | * PALE | ||
| + | * [[http://www.cprover.org/satabs/|SATABS]] | ||