Journal of Software 2009 Issue 6 Combinatorial Testing: Principles and Methods

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of Software
1000-9825
2009 Issue 6

Combinatorial Testing: Principles and Methods
YAN Jun;ZHANG Jian

..............page:1393-1405

Parallel Model of DDS and Its Formalization
LIU Zhen-Huan;WEI Li;CHEN Yan;ZHAO Rong-Sheng;WANG Ju

..............page:1406-1413

Modified Algorithm with Bidirectional Diffusion for TV Image Interpolation
ZHAN Yi;WANG Ming-Hui;WAN Qun;LI Meng

..............page:1694-1702

Improved Coherent Hierarchical Culling Algorithm Based on Probability Computing Model
LIANG Xiao-Hui;REN Wei;YU Zhuo;LIANG Ai-Min

..............page:1685-1693

Constructing Surface on Irregular Meshes
HE Jun;ZHANG Cai-Ming;YANG Xing-Qiang

..............page:1673-1684

Motion Synthesis for Virtual Human Using Functional Data Analysis
LI Chun-Peng;WANG Zhao-Qi;XIA Shi-Hong

..............page:1664-1672

Robust Appearance-Based Method for Head Pose Estimation
MA Bing-Peng;SHAN Shi-Guang;CHEN Xi-Lin;GAO Wen

..............page:1651-1663

Topology-Transparent Hybrid MAC Protocol for Ad Hoc Networks
LI Wei;WANG Shan;WEI Ji-Bo

..............page:1642-1650

Component Property Based Remote Attestation
QIN Yu;FENG Deng-Guo

..............page:1625-1641

Set of Necessary and Sufficient Conditions in Collision Attacks on MD5
CHEN Shi-Wei;JIN Chen-Hui

..............page:1617-1624

Run Length Coding-Based Dynamic Trust Model for P2P Network
FANG Qun;JI Yi;WU Guo-Xin;ZHAO Sheng-Hui;WU Peng

..............page:1602-1616

High Reliability Routing for Wireless Sensor Networks Based Virtual Grid
YAN Bin;ZHOU Xiao-Jia;WANG Hou-Jun;LANG Fang-Nian;LI Ben-Liang

..............page:1591-1601

Network Distance Prediction Technology Research
WANG Yi-Jie;LI Xiao-Yong

..............page:1574-1590

Biometric Template Protection
LI Peng;TIAN Jie;YANG Xin;SHI Peng;ZHANG Yang-Yang

..............page:1553-1573

Research of QoS on Wireless Mesh Networks
DONG Chao;CHEN Gui-Hai;WANG Hai

..............page:1539-1552

Lowest-Level Left Align Best-Fit Algorithm for the 2D Rectangular Strip Packing Problem
JIANG Xing-Bo

..............page:1528-1538

Extension Rule Algorithms Based on IMOM and IBOHM Heuristics Strategies
LI Ying;SUN Ji-Gui;WU Xia;ZHU Xing-Jun

..............page:1521-1527

Discrete No-Fit Polygon, A Simple Structure for the 2-D Irregular Packing Problem
ZHANG De-Fu;CHEN Jing-Chi;LIU Yong-Kai;CHEN Huo-Wang

..............page:1511-1520

Benchmarking Software Task Performance Based on Data Envelopment Analysis
RUAN Li;WANG Yong-Ji;WANG Qing;ZENG Hai-Tao

..............page:1499-1510

Automatic Hierarchical Layout Algorithm for UML Class Diagram
WANG Xiao-Bo;WANG Huan;LIU Chao

..............page:1487-1498

Service Collaboration Approach Based on Decentralized Mediation Model
QIAO Xiao-Qiang;WEI Jin;HUANG Tao

..............page:1470-1486

Non-Functional Attributes Oriented Description and Verification in UML Class Diagrams
ZHANG Yan;MEI Hong

..............page:1457-1469

Heuristic Symbolic Verification of Safety Properties for Parameterized Systems
YANG Qiu-Song;LI Ming-Shu

..............page:1444-1456

Research on Software Fault Injection Testing
CHEN Jin-Fu;LU Yan-Sheng;XIE Xiao-Dong

..............page:1425-1443

SAT-Based Compositional Verification Strategy for Concurrent Software with States, Events
ZHOU Cong-Hua

..............page:1414-1424