![](/img/cover-not-exists.png)
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Galeotti, Juan, Furia, Carlo, May, Eva, Fraser, Gordon, Zeller, AndreasYear:
2015
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2015.2431688
File:
PDF, 461 KB
english, 2015