2022-03-022022-03-022015978-1-4799-7125-1978-1-4799-7124-4https://publica.fraunhofer.de/handle/publica/158347IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015. Proceedings