您当前的位置：
首页 >
文章列表页 >
反应式系统面向性质测试的方法框架
反应式系统面向性质测试的方法框架
A Framework of Property-Oriented Testing of Reactive Systems
- 电子学报 2004年32卷第S1期 页码：226-230
移动端阅览
HTML全文
参考文献
出版信息
数据统计
38
浏览量
805
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种面向性质的实时系统测试方法
面向机器学习模型安全的测试与修复
基于镜像选择序优化的MART算法
一种新的多路径覆盖测试数据进化生成方法
基于抽象解释的变量值范围分析及应用
相关作者
董威
齐治昌
王戟
李书浩
管晓宏
李琦
王骞
李前
相关机构
武汉大学软件工程国家重点实验室湖北武汉
国防科技大学计算机学院湖南长沙
清华大学网络科学与网络空间研究院
武汉大学国家网络安全学院
智能网络与网络安全教育部重点实验室（西安交通大学）
