@第{zbMATH06648216条，作者={Saarikivi，Olli and Heljanko，Keijo}，标题={{LCTD}:{LLVM}}上{C}程序的测试指导证明，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={85}，数字={6}，Pages＝{1292-1317}，年份={2016年}，语言={英语}，DOI={10.1016/j.jlamp.2015.10.010}，关键词={68N30}，zbMATH={6648216}，Zbl={1392.68149}}