Publications
| Publication |
| FirmReduce: Automated Test-Case Reduction for Graph-Based Compilers |
Advisors
| Scientific Staff |
|---|
| Sebastian Graf |
Students
| Students |
|---|
| Tina Maria Strößner |
bachelor thesis (finished): FirmReduce: Minimising test case program graphs
Description only available in German.