Approach for reduced test suite generation based on predicate abstraction

您当前的位置：

首页 >

文章列表页 >

Approach for reduced test suite generation based on predicate abstraction

Papers | 更新时间：2024-06-05

- Approach for reduced test suite generation based on predicate abstraction
- Journal on Communications Vol. 33, Issue 3, Pages: 35-43(2012)
- 作者机构：
  
  1. 武汉大学计算机学院，湖北武汉 430072
  2. 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(91018008);The National Natural Science Foundation of China(61003268);The National Natural Science Foundation of China(61173138);The Open Foundation of Key Laboratory of Aerospace Information Security and T Computing of Ministry of Education(AISTC2008_01);The Open Foundation of Key Laboratory of Aerospace Information Security and T Computing of Ministry of Education(AISTC2008Q02);The Natural Science Foundation of Hubei Province(2009DBA429);The Natural Science Foundation of Hubei Province(2010CDB08601);Fundamental Research Funds for the Central Universities(3101038);Fundamental Research Funds for the Central Universities(115010)
- DOI：1000-436X(2012)03-0035-09
  CLC： TP311
- Online First：2012-03，
  
  Published：25 March 2012
- 稿件说明：
移动端阅览
Xi GUO, Huan-guo ZHANG. Approach for reduced test suite generation based on predicate abstraction[J]. Journal on Communications, 2012, 33(3): 35-43.
DOI：

Xi GUO, Huan-guo ZHANG. Approach for reduced test suite generation based on predicate abstraction[J]. Journal on Communications, 2012, 33(3): 35-43. DOI： 1000-436X(2012)03-0035-09.

0

Views

868

下载量

7

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Related Articles

No data

Related Author

No data

Related Institution

No data

AI导读

AI问答

⁰