2008 |
17 | | Zhenyu Chen,
Axel Hollmann:
Positive and Negative Testing with Mutation-Driven Model Checking.
GI Jahrestagung (1) 2008: 187-192 |
16 | EE | Zhenyu Chen,
Jingye Zhou,
Xingyu Gao,
Longsheng Li,
Junfa Liu:
A Novel Method for Pencil Drawing Generation in Non-Photo-Realistic Rendering.
PCM 2008: 931-934 |
15 | EE | Xiaofang Zhang,
Baowen Xu,
Zhenyu Chen,
Changhai Nie,
Leifang Li:
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).
QSIC 2008: 270-275 |
14 | EE | Zhenyu Chen,
Baowen Xu,
Xiaofang Zhang,
Changhai Nie:
A novel approach for test suite reduction based on requirement relation contraction.
SAC 2008: 390-394 |
13 | EE | Zhenyu Chen,
Baowen Xu,
Changhai Nie:
A detectability analysis of fault classes for Boolean specifications.
SAC 2008: 826-830 |
12 | | Zhenyu Chen,
Xiaofang Zhang,
Baowen Xu:
A Degraded ILP Approach for Test Suite Reduction.
SEKE 2008: 494-499 |
2007 |
11 | EE | Zhenyu Chen,
Baowen Xu,
Changhai Nie:
Comparing Fault-based Testing Strategies of General Boolean Specifications.
COMPSAC (1) 2007: 621-622 |
10 | EE | Wenhua Huang,
Yuhua Ai,
Zhenyu Chen,
Qinghua Wu,
Hanbin Ouyang,
Peifeng Jiao,
Zhexing Liu,
Chihua Fang:
Computer Supported Cooperative Work (CSCW) for Telemedicine.
CSCWD 2007: 1063-1065 |
9 | EE | Zhenyu Chen,
Zhihong Tao,
Baowen Xu,
Lifu Wang:
Implication-Based Approximating Bounded Model Checking.
FSEN 2007: 350-363 |
8 | EE | Liwei Wei,
Jianping Li,
Zhenyu Chen:
Credit Risk Evaluation Using Support Vector Machine with Mixture of Kernel.
International Conference on Computational Science (2) 2007: 431-438 |
7 | EE | Zhenyu Chen,
Jianping Li:
A Multiple Kernel Support Vector Machine Scheme for Simultaneous Feature Selection and Rule-Based Classification.
PAKDD 2007: 441-448 |
6 | EE | Conghua Zhou,
Zhenyu Chen,
Zhihong Tao:
QBF-Based Symbolic Model Checking for Knowledge and Time.
TAMC 2007: 386-397 |
5 | EE | Zhenyu Chen,
Jianping Li,
Liwei Wei:
A multiple kernel support vector machine scheme for feature selection and rule extraction from gene expression data of cancer tissue.
Artificial Intelligence in Medicine 41(2): 161-175 (2007) |
4 | EE | Jianping Li,
Zhenyu Chen,
Liwei Wei,
Weixuan Xu,
Gang Kou:
Feature Selection via Least Squares Support Feature Machine.
International Journal of Information Technology and Decision Making 6(4): 671-686 (2007) |
2006 |
3 | EE | Jianping Li,
Zhenyu Chen,
Weixuan Xu:
Bounded Support Vector Machines, Semidefinite.
ICDM Workshops 2006: 818-822 |
2 | EE | Zhenyu Chen,
Decheng Ding:
Variable Minimal Unsatisfiability.
TAMC 2006: 262-273 |
2001 |
1 | EE | Wenhua Huang,
Yuhua Ai,
Shizhen Zhong,
Qingan Zhu,
Weidong Zhao,
Lin Yuan,
Zhenyu Chen,
Jingdong Yan,
Zhexing Liu:
New Multimedia Telecommunication Technologies and CSCW for Telemedicine.
CSCWD 2001: 551-553 |