Student(s) | Project | Presentation |
---|---|---|
Bheemaraju, Keertana | Static analysis in IntelliJ IDEA | 2019-12-20 |
Billings, Riker | Understand (by SciTools) | 2019-12-20 |
Chapin, Peter | Frama-C program slicing | 2019-12-10 |
D'Amour, Justin | SonarQube | 2019-12-20 |
Grech, Elizabeth | PMD | 2019-12-20 |
Tran, Chan | The KeY Project (JML tools for Java) | 2019-12-12 |
Xie, Kun | More on SPARK | 2019-12-20 |