Loop Invariants by Mutation, Dynamic Validation, and Static Checking - WING 2014
by Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller

Contributions of the 5th International Workshop on Invariant Generation (WING 2014), July 2014.

Abstract

BibTeX Entry

@article{galeotti-wing-2014,
    title = "Loop Invariants by Mutation, Dynamic Validation, and Static Checking",
    author = "Juan Pablo Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller",
    year = "2014",
    month = jul,
    booktitle = "Contributions of the 5th International Workshop on Invariant Generation (WING 2014)",
    location = "Vienna, Austria",
}

Show all publications of the Software Engineering Chair.