@inproceedings{Felsing_2014,
    doi = {10.1145/2642937.2642987},
    url = {https://doi.org/10.1145%2F2642937.2642987},
    year = {2014},
    month = {sep},
    publisher = {{ACM}},
    author = {Dennis Felsing and Sarah Grebing and Vladimir Klebanov and Philipp Rümmer and Mattias Ulbrich},
    title = {Automating regression verification},
    booktitle = {Proceedings of the 29th {ACM}/{IEEE} International Conference on Automated Software Engineering}
}

@inproceedings{Felsing_2014, doi = {10.1145/2642937.2642987}, url = {https://doi.org/10.1145%2F2642937.2642987}, year = {2014}, month = {sep}, publisher = {{ACM}}, author = {Dennis Felsing and Sarah Grebing and Vladimir Klebanov and Philipp Rümmer and Mattias Ulbrich}, title = {Automating regression verification}, booktitle = {Proceedings of the 29th {ACM}/{IEEE} International Conference on Automated Software Engineering} }