2022-03-022022-03-022016978-1-5090-1826-0978-1-5090-3674-5978-1-5090-3675-2https://publica.fraunhofer.de/handle/publica/160378IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Proceedings