彼得·马克西莫维奇 卡罗琳·克朗贾格 安德烈亚斯·洛夫 朱利安·萨瑟兰 菲利普·加德纳 精确分离逻辑：缩小验证和缺陷发现之间的差距。 19点1分：27分 2023 ECOOP公司 https://doi.org/10.4230/LIPIcs.ECOOP.2023.19 conf/ecop/2023 db/conf/ecoop/ecoop2023.html#MaksimovicCLSG23