Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs | |
Hang Luo; Xue Liu; Xi Chen; Ting Long; Ronghua Jiang | |
刊名 | IEEE Transactions on Software Engineering |
2016 | |
卷号 | Vol.42 No.9页码:866-885 |
关键词 | Algorithm design and analysis Semantics Software reliability Computational modeling Computer bugs Cognition,cell-structure Weakest precondition path extension innermost connection condition leap node |
ISSN号 | 0098-5589 |
URL标识 | 查看原文 |
内容类型 | 期刊论文 |
URI标识 | http://www.corc.org.cn/handle/1471x/1910985 |
专题 | 四川大学 |
作者单位 | Department of Measurement and Control Engineering, School of Manufacturing Science and Engineering, Sichuan University, Chengdu, P.R.China School of Computer Science, McGill University, Montreal H3A0E9, Canada School of Computer Science, McGill University, Montreal H3A0E9, Canada Department of Control Engineering, Chengdu University of Information Technology, Shuangliu, P.R.China School of Electrical Engineering and Information, Sichuan University, Chengdu, P.R.China |
推荐引用方式 GB/T 7714 | Hang Luo,Xue Liu,Xi Chen,et al. Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs[J]. IEEE Transactions on Software Engineering,2016,Vol.42 No.9:866-885. |
APA | Hang Luo,Xue Liu,Xi Chen,Ting Long,&Ronghua Jiang.(2016).Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs.IEEE Transactions on Software Engineering,Vol.42 No.9,866-885. |
MLA | Hang Luo,et al."Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs".IEEE Transactions on Software Engineering Vol.42 No.9(2016):866-885. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论