Papers accepted for publication in the Book of Proceedings TSE 2020 (.pdf)