位置：成果数据库 > 期刊 > 期刊详情页
A Parallel Approach to Concolic Testing with Low-cost Synchronization
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：83-96
  • 相关项目：航天嵌入式软件可信性构造与验证的关键技术研究
作者： Xiao Yu|Shuai Sun|Geguang Pu|Siyuan Jiang|Zheng Wang|
同期刊论文项目
航天嵌入式软件可信性构造与验证的关键技术研究
期刊论文 38 会议论文 29
同项目期刊论文
一种面向堆操作程序内存安全性的域敏感内存模型
AADL2TASM: a verification and analysis tool for AADL models
基于AADL的建模和验证技术应用研究
基于Petri网的AADL模型正确性验证研究
Effective Fault Localization Approach Using Feedback
AADL模式转换设计方法研究
AADL在航天器控制系统设计中的应用研究
Web Services Choreography Validation
基于AADL的中断控制设计方法
基于AOP的运行时验证中的冲突检测
基于约束的多面体抽象域的弱接合
面向航天嵌入式软件的形式化建模方法
基于MYGCC的编程规则检查算法研究
一种基于变量可达向量的链表抽象方法
基于UPPAAL的AADL行为模型验证方法研究
Formal Verification of TASM Models by Translating into UPPAAL
More efficient automatic repair of large-scale programs using weak recompilation
面向参数化LTL的预测监控器构造技术
A Scalable Infrastructure for Online Performance Analysis on CFD Application
快速SPARC V7指令集模拟器的设计方法
基于SPARDL的模型和程序一致性测试
精确的堆内存使用量上界分析