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.

Download as PDF file.

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",
}

Show all publications of the Software Engineering Chair.