Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Eva May

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

IEEE Transactions on Software Engineering

English