Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen. The Power of String Solving: Simplicity of Comparison. In AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, Seoul, Republic of Korea, 15-16 July, 2020. pages 85-88, ACM, 2020. [doi]
Abstract is missing.