Abrahamsson, Oskar http://orcid.org/0000-0002-4861-2650
Ho, Son
Kanabar, Hrutvik
Kumar, Ramana
Myreen, Magnus O.
Norrish, Michael
Tan, Yong Kiam
Funding for this research was provided by:
UK Research Institute in Verified Trustworthy Software Systems
A*STAR National Science Scholarship (PhD), Singapore
Swedish Foundation for Strategic Research
Article History
Received: 21 April 2020
Accepted: 24 April 2020
First Online: 6 June 2020