2022-03-022022-03-022013978-1-4799-1324-4978-0-7685-4993-4https://publica.fraunhofer.de/handle/publica/155389IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. Proceedings