@article{Galeotti_2015,
    doi = {10.1109/tse.2015.2431688},
    url = {https://doi.org/10.1109%2Ftse.2015.2431688},
    year = {2015},
    month = {oct},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {41},
    number = {10},
    pages = {1019--1037},
    author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller},
    title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking},
    journal = {{IEEE} Transactions on Software Engineering}
}

@article{Galeotti_2015, doi = {10.1109/tse.2015.2431688}, url = {https://doi.org/10.1109%2Ftse.2015.2431688}, year = {2015}, month = {oct}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {41}, number = {10}, pages = {1019--1037}, author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller}, title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking}, journal = {{IEEE} Transactions on Software Engineering} }