IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). (18th July 2022) - Păsăreanu, Corina; Zeller, Andreas