Inferring Loop Invariants Dynamically
- WINGS 2012
by
Juan Pablo Galeotti, Andreas Zeller
Contributions of the 4th International Workshop on Invariant Generation (WING 2012), June 2012.
Abstract
There is extensive literature on inferring loop invariants statically (i.e. without explicitly executing the program under analysis). We report on a new dynamic technique for inferring loop invariants based on the invariant detector Daikon.
BibTeX Entry
@article{galeotti-wings-2012, title = "Inferring Loop Invariants Dynamically", author = "Juan Pablo Galeotti and Andreas Zeller", year = "2012", month = jun, booktitle = "Contributions of the 4th International Workshop on Invariant Generation (WING 2012)", location = "Manchester, UK", }