2022-03-022022-03-022009978-1-4244-4356-7https://publica.fraunhofer.de/handle/publica/149014Software Testing, Verification and Validation Workshops, ICSTW '09