Loop Invariants by Mutation, Dynamic Validation, and Static Checking - Publications - Software Engineering Chair (Prof. Zeller)

This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

For the current work of Andreas Zeller and his group, see andreas-zeller.info.
For the current software engineering chair, see www.se.cs.uni-saarland.de.

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.