HOME | DEUTSCH | IMPRESSUM | KIT

bachelor thesis (finished): FirmReduce: Minimising test case program graphs

Description only available in German. 

Publications

Publication
FirmReduce: Automated Test-Case Reduction for Graph-Based Compilers

Advisors

Former Staff Member
Dr.-Ing. Sebastian Graf

Students

Former Students
Tina Maria Strößner