2022-03-022022-03-022017978-1-4503-5076-1https://publica.fraunhofer.de/handle/publica/161740ISSTA 2017, 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Proceedings