Software testing, analysis, and verification coursework: JUnit 5, MC/DC coverage, AST static analysis, and Dafny formal verification
java static-analysis type-checking code-coverage dafny software-testing formal-verification junit5 abstract-syntax-tree constant-propagation mcdc-coverage weakest-precondition
-
Updated
Jul 22, 2026