Chosen Analysis Projects

Chosen Analysis Projects
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