提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/scp/BergelA14澳大利亚-贝格尔，亚历山大非盟-阿拉亚，瓦内萨·佩尼亚TI-增加Hapao的测试覆盖率。JO-科学。计算。程序。第79页SP-86型EP-1002014年上半年//DO-2016年10月10日/J.SCICO.2012.04.006UR-（欧元）https://doi.org/10.1016/j.scico.2012.04.006急诊室-