Basagiannis, S.; Mjeda, A.; Botterweck, G. Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). eceasst 2021, 79.