Browsing by Author "Zeller, Andreas"
Now showing 1 - 3 of 3
- Results Per Page
- Sort Options
Item Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking(Institute of electrical and electronics engineers, 2015) Galeotti, Juan P.; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, AndreasItem Mining Workflow Models from Web Applications(Institute of electrical and electronics engineers, 2015) Schur, Matthias; Roth, Andreas; Zeller, AndreasItem Where Should We Fix This Bug? : A Two-Phase Recommendation Model(Institute of electrical and electronics engineers, 2013) Kim, Dongsun; Tao, Yida; Kim, Sunghun; Zeller, Andreas