Browsing by Author "May, Eva"
Now showing 1 - 1 of 1
- 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, Andreas