36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17
34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08