Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
software_verification_tools_overview [2007/06/20 11:23] clement.beffa created |
software_verification_tools_overview [2007/06/21 14:49] clement.beffa |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| **by Clément Beffa, Vincent Pazeller, and Olivier Gobet** | **by Clément Beffa, Vincent Pazeller, and Olivier Gobet** | ||
| + | |||
| + | ===== Report ===== | ||
| + | Abstract : ... | ||
| + | * Report | ||
| + | |||
| + | ===== Files related to the presentation ===== | ||
| + | * {{svto.pdf|Presentation slides}} | ||
| + | * {{tools_list.pdf|Tools overview list}} | ||
| + | * {{dummy.java.txt|Java Test case file}} | ||
| ===== Related paper ===== | ===== Related paper ===== | ||
| 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. | ||
| + | |||
| + | |||