Publications & Reports

Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva.

EPTCS 351, 2021, 296-313. 2021

Matt Windsor, Alastair F. Donaldson, and John Wickerson.

ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2021, 670–673. 2021