Input Output Symbolic Transition Systems; Functions summaries; Symbolic execution; Transition coverage;
机译:使用符号执行和未解释功能的嵌入式软件验证
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:使用规则导向的符号执行来验证系统规则
机译:功能摘要转换系统的象征性执行
机译:EPISTAXIS:使用演绎检索和符号执行的句法和语义软件查询系统
机译:运动系统典型功能神经解剖学的原型符号模型
机译:使用符号执行验证并发系统:时间推理是符号执行的一点点归纳