Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Juan P. Galeotti

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE Transactions on Software Engineering

English