δ-Equalities of fuzzy sets. - Kai-Yuan Cai (Fuzzy Sets Syst., 1995)

Preface. - Kai-Yuan Cai (Fuzzy Sets Syst., 1996)

System failure engineering and fuzzy methodology An introductory overview. - Kai-Yuan Cai (Fuzzy Sets Syst., 1996)

On estimating the number of defects remaining in software. - Kai-Yuan Cai (J. Syst. Softw., 1998)

Towards a conceptual framework of software run reliability modeling. - Kai-Yuan Cai (Inf. Sci., 2000)

Optimal Test Profile in the Context of Software Cybernetics. - Kai-Yuan Cai (APAQS, 2001)

On the neural network approach in software reliability modeling. - Kai-Yuan Cai; Lin Cai 002; Weidong Wang; Zhou-Yi Yu; David Zhang 001 (J. Syst. Softw., 2001)

Robustness of fuzzy reasoning and δ-equalities of fuzzy sets. - Kai-Yuan Cai (IEEE Trans. Fuzzy Syst., 2001)

Towards Research on Software Cybernetics. - Kai-Yuan Cai; Tsong Yueh Chen; T. H. Tse (HASE, 2002)

Optimal software testing and adaptive software testing in the context of software cybernetics. - Kai-Yuan Cai (Inf. Softw. Technol., 2002)

Analyzing software science data with partial repeatability. - Kai-Yuan Cai; Lei Chen (J. Syst. Softw., 2002)

An Efficient Defect Estimation Method for Software Defect Curves. - Chenggang Bai; Kai-Yuan Cai; Tsong Yueh Chen (COMPSAC, 2003)

A robust fuzzy PD controller for automatic steering control of autonomous vehicles. - Lin Cai 002; Ahmad B. Rad; Wai-Lok Chan; Kai-Yuan Cai (FUZZ-IEEE, 2003)

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. - Baskar Sridharan; Aditya P. Mathur; Kai-Yuan Cai (PerCom, 2003)

How to Test Software for Optimal Software Reliability Assessment. - Kai-Yuan Cai; Yong-Chao Li; Ke Liu (QSIC, 2003)

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. - Baskar Sridharan; Aditya P. Mathur; Kai-Yuan Cai (QSIC, 2003)

An Overview of Software Cybernetics. - Kai-Yuan Cai; João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (STEP, 2003)

Optimal stopping of multi-project software testing in the context of software cybernetics. - Kai-Yuan Cai (Sci. China Ser. F Inf. Sci., 2003)

Towards a Control-Theoretical Approach to Software Fault-Tolerance. - Kai-Yuan Cai; Xiang-Yun Wang (QSIC, 2004)

On the polynomial dynamic system approach to software development. - Xiangyun Wang; Yongchao Li; Kai-Yuan Cai (Sci. China Ser. F Inf. Sci., 2004)

H2 guaranteed cost fuzzy control for uncertain nonlinear systems via linear matrix inequalities. - Huai-Ning Wu; Kai-Yuan Cai (Fuzzy Sets Syst., 2004)

Extended neuro-fuzzy models of multilayer perceptrons. - Dong Zhang; Xiao-Li Bai; Kai-Yuan Cai (Fuzzy Sets Syst., 2004)

Optimal fuzzy reasoning and its robustness analysis. - Lei Zhang; Kai-Yuan Cai (Int. J. Intell. Syst., 2004)

Optimal and adaptive testing for software reliability assessment. - Kai-Yuan Cai; Yong-Chao Li; Ke Liu (Inf. Softw. Technol., 2004)

Partition Testing with Dynamic Partitioning. - Kai-Yuan Cai; Tao Jing; Chenggang Bai (COMPSAC (2), 2005)

On the Test Case Definition for GUI Testing. - Kai-Yuan Cai; Lei Zhao; Hai Hu; Chang-Hai Jiang (QSIC, 2005)

A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components. - Hai Hu; W. Eric Wong; Chang-Hai Jiang; Kai-Yuan Cai (QSIC, 2005)

Adaptive testing of software components. - Kai-Yuan Cai; Tsong Yueh Chen; Yong-Chao Li; Wei-Yi Ning; Yuen-Tak Yu (SAC, 2005)

A Partial-Repeatability Approach to Data Mining. - Kai-Yuan Cai; Yunfei Yin; Shichao Zhang 001 (IEEE Intell. Informatics Bull., 2005)

Optimal software testing in the setting of controlled Markov chains. - Kai-Yuan Cai; Yong-Chao Li; Wei-Yi Ning (Eur. J. Oper. Res., 2005)

Variable-structure coherent systems†. - Kai-Yuan Cai (Int. J. Gen. Syst., 2005)

Fuzzy nonlinear regression with fuzzified radial basis function network. - Dong Zhang; Luo-Feng Deng; Kai-Yuan Cai; Albert So (IEEE Trans. Fuzzy Syst., 2005)

An improved robust fuzzy-PID controller with optimal fuzzy reasoning. - Han-Xiong Li; Lei Zhang; Kai-Yuan Cai; Guanrong Chen (IEEE Trans. Syst. Man Cybern. Part B, 2005)

A Dynamic Partitioning Approach for GUI Testing. - Kai-Yuan Cai; Lei Zhao; Feng Wang (COMPSAC (2), 2006)

A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile. - Bei-Bei Yin; Yan Shi; Chenggang Bai; Kai-Yuan Cai (COMPSAC (1), 2006)

Optimal and Adaptive Testing with Cost Constraints. - Kai-Yuan Cai; Yong-Chao Li; Wei-Yi Ning; W. Eric Wong; Hai Hu (AST, 2006)

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. - Peng Wang 119; Kai-Yuan Cai (QSIC, 2006)

A Threshold Autoregressive Model for Software Aging. - Xiu-E Chen; Quan Quan; Yun-Fei Jia; Kai-Yuan Cai (SOSE, 2006)

Chaotic Analysis of Software Aging in Web Server. - Yun-Fei Jia; Xiu-E Chen; Kai-Yuan Cai (SOSE, 2006)

H2 guaranteed cost fuzzy control design for discrete-time nonlinear systems with parameter uncertainty. - Huai-Ning Wu; Kai-Yuan Cai (Autom., 2006)

Guest Editors' Introduction. - Kai-Yuan Cai; Atsushi Ohnishi; T. H. Tse (Int. J. Softw. Eng. Knowl. Eng., 2006)

Software Reliability Experimentation and Control. - Kai-Yuan Cai (J. Comput. Sci. Technol., 2006)

Introduction to the special section on software cybernetics. - Fevzi Belli; Kai-Yuan Cai; Raymond A. DeCarlo; Aditya P. Mathur (J. Syst. Softw., 2006)

Mode-independent robust stabilization for uncertain Markovian jump nonlinear systems via fuzzy control. - Huai-Ning Wu; Kai-Yuan Cai (IEEE Trans. Syst. Man Cybern. Part B, 2006)

Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements. - Kai-Yuan Cai (COMPSAC (2), 2007)

A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design. - Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai; W. Eric Wong (COMPSAC (2), 2007)

Effective Fault Localization using Code Coverage. - W. Eric Wong; Yu Qi; Lei Zhao; Kai-Yuan Cai (COMPSAC (1), 2007)

A Data Mining Approach for Software State Definition. - Bei-Bei Yin; Chenggang Bai; Kai-Yuan Cai (COMPSAC (1), 2007)

A Software Cybernetics Approach to Deploying and Scheduling. - Stephen S. Yau; Dazhi Huang; Luping Zhu; Kai-Yuan Cai (FTDCS, 2007)

Effective Fault Localization using BP Neural Networks. - W. Eric Wong; Lei Zhao; Yu Qi; Kai-Yuan Cai; Jing Dong 005 (SEKE, 2007)

Distributed Frequent Closed Itemsets Mining. - Chun Liu; Zheng Zheng 001; Kai-Yuan Cai; Shichao Zhang 001 (SITIS, 2007)

A mathematical modeling framework for software reliability testing. - Kai-Yuan Cai; Zhao Dong; Ke Liu; Chenggang Bai (Int. J. Gen. Syst., 2007)

A polynomial dynamic system approach to software design for attractivity requirement. - Xiang-Yun Wang; Wenhui Zhang; Yong-Chao Li; Kai-Yuan Cai (Inf. Sci., 2007)

Robust fuzzy control for uncertain discrete-time nonlinear Markovian jump systems without mode observations. - Huai-Ning Wu; Kai-Yuan Cai (Inf. Sci., 2007)

Adaptive software testing with fixed-memory feedback. - Kai-Yuan Cai; Bo Gu; Hai Hu; Yong-Chao Li (J. Syst. Softw., 2007)

A Nonlinear Approach to Modeling of Software Aging in a Web Server. - Yun-Fei Jia; Lei Zhao; Kai-Yuan Cai (APSEC, 2008)

Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model. - Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai (COMPSAC, 2008)

An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns. - Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Dazhi Huang; Stephen S. Yau (COMPSAC, 2008)

Message from the IWSC 2008 Workshop Organizers. - Stephen S. Yau; João W. Cangussu; Aditya P. Mathur; Fevzi Belli; Kai-Yuan Cai (COMPSAC, 2008)

IWSC 2008 Workshop Organization. - Stephen S. Yau; João W. Cangussu; Aditya P. Mathur; Fevzi Belli; Kai-Yuan Cai (COMPSAC, 2008)

A feedback control approach for software rejuvenation in a web server. - Yun-Fei Jia; Jing-Ya Su; Kai-Yuan Cai (ISSRE Workshops, 2008)

On the Relationship between Software Aging and Related Parameters (Short Paper). - Yun-Fei Jia; Xiu-E Chen; Lei Zhao; Kai-Yuan Cai (QSIC, 2008)

On the Online Parameter Estimation Problem in Adaptive Software Testing. - Kai-Yuan Cai; Tsong Yueh Chen; Yong-Chao Li; Yuen-Tak Yu; Lei Zhao (Int. J. Softw. Eng. Knowl. Eng., 2008)

Does software reliability growth behavior follow a non-homogeneous Poisson process. - Kai-Yuan Cai; De-Bin Hu; Chenggang Bai; Hai Hu; Tao Jing (Inf. Softw. Technol., 2008)

Software testing processes as a linear dynamic system. - Kai-Yuan Cai; Zhao Dong; Ke Liu (Inf. Sci., 2008)

An analysis of research topics in software engineering - 2006. - Kai-Yuan Cai; David Card (J. Syst. Softw., 2008)

An experimental study of adaptive testing for software reliability assessment. - Kai-Yuan Cai; Chang-Hai Jiang; Hai Hu; Chenggang Bai (J. Syst. Softw., 2008)

Fuzzy Reasoning as a Control Problem. - Kai-Yuan Cai; Lei Zhang (IEEE Trans. Fuzzy Syst., 2008)

On the Trend of Remaining Software Defect Estimation. - Chenggang Bai; Kai-Yuan Cai; Q. P. Hu; Szu Hui Ng (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Reliable Hinfty Nonuniform Sampling Fuzzy Control for Nonlinear Systems With Time Delay. - Dedong Yang; Kai-Yuan Cai (IEEE Trans. Syst. Man Cybern. Part B, 2008)

Software Cybernetics. - João W. Cangussu; Kai-Yuan Cai; Scott D. Miller; Aditya P. Mathur (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Additive Decomposition and its applications to internal-model-based tracking. - Quan Quan; Kai-Yuan Cai (CDC, 2009)

Quadrotor aircraft control without velocity measurements. - Ruifeng Zhang; Xinhua Wang 001; Kai-Yuan Cai (CDC, 2009)

Output tracking of VTOL aircraft with delayed attitude measurements. - Bo Zhu; Xinhua Wang 001; Kai-Yuan Cai (CDC, 2009)

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS). - Chang Liu; Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Dazhi Huang; Stephen S. Yau (COMPSAC (2), 2009)

Propagation of Random Perturbations under Fuzzy Algebraic Operators. - Zheng Zheng 001; Shanjie Wu; Kai-Yuan Cai (KSEM, 2009)

On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies. - Feng Ye; Chang Liu; Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai (PRDC, 2009)

A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload. - Ke-Xian Xue; Liang Su; Yun-Fei Jia; Kai-Yuan Cai (QSIC, 2009)

Improving Software Testing Cost-Effectiveness through Dynamic Partitioning. - Zhi Quan Zhou 001; Arnaldo Sinaga; Lei Zhao; Willy Susilo; Kai-Yuan Cai (QSIC, 2009)

Mining Components with Software Execution Data. - Shaowen Qin; Bei-Bei Yin; Kai-Yuan Cai (Software Engineering Research and Practice, 2009)

Tracking control for a velocity-sensorless VTOL aircraft with delayed outputs. - Xinhua Wang 001; Jinkun Liu; Kai-Yuan Cai (Autom., 2009)

Operation properties and delta-equalities of complex fuzzy sets. - Guangquan Zhang 001; Tharam S. Dillon; Kai-Yuan Cai; Jun Ma 002; Jie Lu 001 (Int. J. Approx. Reason., 2009)

An Improved Approach to Adaptive Testing. - Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai (Int. J. Softw. Eng. Knowl. Eng., 2009)

An Intelligent Control Architecture for Adaptive Service-Based Software Systems. - Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Dazhi Huang; Stephen S. Yau (Int. J. Softw. Eng. Knowl. Eng., 2009)

Supervisory control of discrete event systems with state-dependent controllability. - Peng Wang; Kai-Yuan Cai (Int. J. Syst. Sci., 2009)

Software execution processes as an evolving complex network. - Kai-Yuan Cai; Bei-Bei Yin (Inf. Sci., 2009)

Delta-equalities of Complex Fuzzy Relations. - Guangquan Zhang 001; Tharam S. Dillon; Kai-Yuan Cai; Jun Ma 002; Jie Lu 001 (AINA, 2010)

A Parallel Implementation Strategy of Adaptive Testing. - Hai Hu; Chang-Hai Jiang; Feng Ye; Kai-Yuan Cai; Dazhi Huang; Stephen S. Yau (COMPSAC Workshops, 2010)

Entropy-Based Measures of Heterogeneity of Software Structural Profile. - Bei-Bei Yin; Ling-Zan Zhu; Kai-Yuan Cai (COMPSAC Workshops, 2010)

Design and control of a tri-rotor aircraft. - Penghui Fan; Xinhua Wang 001; Kai-Yuan Cai (ICCA, 2010)

Indoor autonomous hovering control for a small unmanned coaxial helicopter. - Shanjie Wu; Zheng Zheng 001; Kai-Yuan Cai (ICCA, 2010)

On Modeling of GUI Test Profile. - Lei Zhao; Kai-Yuan Cai (ICST Workshops, 2010)

Event Handler-Based Coverage for GUI Testing. - Lei Zhao; Kai-Yuan Cai (QSIC, 2010)

Mathematical modeling of software reliability testing with imperfect debugging. - Kai-Yuan Cai; Ping Cao; Zhao Dong; Ke Liu (Comput. Math. Appl., 2010)

Finite-time quantized guaranteed cost fuzzy control for continuous-time nonlinear systems. - Dedong Yang; Kai-Yuan Cai (Expert Syst. Appl., 2010)

Tracking control for VTOL aircraft with disabled IMUs. - Xinhua Wang 001; Jinkun Liu; Kai-Yuan Cai (Int. J. Syst. Sci., 2010)

Robust variable sampling control for T-S fuzzy systems. - Dedong Yang; Kai-Yuan Cai (Int. J. Syst. Sci., 2010)

Reliable guaranteed cost sampling control for nonlinear time-delay systems. - Dedong Yang; Kai-Yuan Cai (Math. Comput. Simul., 2010)

Robustness of fuzzy operators in environments with random perturbations. - Zheng Zheng 001; Wei Liu; Kai-Yuan Cai (Soft Comput., 2010)

On Uncontrollable Discrete-Time Bilinear Systems Which are "Nearly" Controllable. - Lin Tie; Kai-Yuan Cai; Yan Lin (IEEE Trans. Autom. Control., 2010)

A Sufficient Condition for Parameters Estimation in Dynamic Random Testing. - Junpeng Lv; Hai Hu; Kai-Yuan Cai (COMPSAC Workshops, 2011)

Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems. - Huanyin Yi; Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Aditya P. Mathur (COMPSAC Workshops, 2011)

Software Fault Localization Based on Centrality Measures. - Ling-Zan Zhu; Bei-Bei Yin; Kai-Yuan Cai (COMPSAC Workshops, 2011)

GUI Software Fault Localization Using N-gram Analysis. - Zhongxing Yu; Hai Hu; Chenggang Bai; Kai-Yuan Cai; W. Eric Wong (HASE, 2011)

Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain. - Gao-Rong Ning; Kishor S. Trivedi; Hai Hu; Kai-Yuan Cai (WoSAR@ISSRE, 2011)

A feedback based CRI approach to fuzzy reasoning. - Zheng Zheng 001; Shanjie Wu; Wei Liu; Kai-Yuan Cai (Appl. Soft Comput., 2011)

Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input - Quan Quan; Hai Lin 002; Kai-Yuan Cai (CoRR, 2011)

Finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems. - Dedong Yang; Kai-Yuan Cai (Int. J. Syst. Sci., 2011)

Output tracking for nonlinear non-minimum phase systems with output delay and application to an F-16 jet fighter. - Bo Zhu; Xinhua Wang 001; Kai-Yuan Cai (Int. J. Syst. Sci., 2011)

On controllability of discrete-time bilinear systems. - Lin Tie; Kai-Yuan Cai; Yan Lin (J. Frankl. Inst., 2011)

On near-controllability and stabilizability of a class of discrete-time bilinear systems. - Lin Tie; Kai-Yuan Cai (Syst. Control. Lett., 2011)

A Filtered Repetitive Controller for a Class of Nonlinear Systems. - Quan Quan; Kai-Yuan Cai (IEEE Trans. Autom. Control., 2011)

Guest Editorial: Computational Intelligence in Reliability Engineering. - Gregory Levitin; Kai-Yuan Cai (IEEE Trans. Reliab., 2011)

Additive-output-decomposition-based dynamic inversion tracking control for a class of uncertain linear time-invariant systems. - Quan Quan; Kai-Yuan Cai (CDC, 2012)

A Reputation System for Trustworthy QoS Information in Service-Based Systems. - Jun Lin; Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Stephen S. Yau; Dazhi Huang (COMPSAC Workshops, 2012)

Towards Dynamic Random Testing for Web Services. - Chang-Ai Sun; Guan Wang; Kai-Yuan Cai; Tsong Yueh Chen (COMPSAC, 2012)

Distribution-Aware Mutation Analysis. - Chang-Ai Sun; Guan Wang; Kai-Yuan Cai; Tsong Yueh Chen (COMPSAC Workshops, 2012)

3-Way GUI Test Cases Generation Based on Event-Wise Partitioning. - Jing Feng; Bei-Bei Yin; Kai-Yuan Cai; Zhongxing Yu (QSIC, 2012)

Continuous-Time Equality-Constrained Optimization Based on a New Projection Matrix - Quan Quan; Kai-Yuan Cai (CoRR, 2012)

Additive-State-Decomposition-Based Dynamic Inversion Stabilized Control for a Class of Uncertain Systems and Its Application to Missile Longitudinal Tracking - Quan Quan; Kai-Yuan Cai (CoRR, 2012)

Additive-State-Decomposition-Based Tracking Control for TORA Benchmark - Quan Quan; Kai-Yuan Cai (CoRR, 2012)

Time-domain analysis of the Savitzky-Golay filters. - Quan Quan; Kai-Yuan Cai (Digit. Signal Process., 2012)

A stability theorem of the direct Lyapunov's method for neutral-type systems in a critical case. - Quan Quan; Kai-Yuan Cai (Int. J. Syst. Sci., 2012)

On the Gain of Measuring Test Case Prioritization. - Junpeng Lv; Bei-Bei Yin; Kai-Yuan Cai (COMPSAC, 2013)

A Case Study of Adaptive Combinatorial Testing. - Changhai Nie; Siyang Chen; Hareton Leung; Kai-Yuan Cai (COMPSAC Workshops, 2013)

A Distributed Protective Approach for Multiechelon Supply Systems. - Xiaoyi Zhang 005; Zheng Zheng 001; Yueni Zhu; Kai-Yuan Cai (COMPSAC Workshops, 2013)

An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems. - Wenlong Zhu; Bei-Bei Yin; Kai-Yuan Cai; Dazhi Huang; Stephen S. Yau (COMPSAC Workshops, 2013)

Adaptive Combinatorial Testing. - Changhai Nie; Hareton Leung; Kai-Yuan Cai (QSIC, 2013)

Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques. - Peifeng Rao; Zheng Zheng 001; Tsong Yueh Chen; Nan Wang; Kai-Yuan Cai (QSIC, 2013)

The r-interdiction median problem with probabilistic protection and its solution algorithm. - Yueni Zhu; Zheng Zheng 001; Xiaoyi Zhang 005; Kai-Yuan Cai (Comput. Oper. Res., 2013)

Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability. - Ping Cao; Zhao Dong; Ke Liu; Kai-Yuan Cai (CoRR, 2013)

Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure. - Guangxun Du; Quan Quan; Kai-Yuan Cai (CoRR, 2013)

Enhancing software reliability estimates using modified adaptive testing. - Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai; W. Eric Wong; Aditya P. Mathur (Inf. Softw. Technol., 2013)

Mutation-oriented test data augmentation for GUI software fault localization. - Zhongxing Yu; Chenggang Bai; Kai-Yuan Cai (Inf. Softw. Technol., 2013)

Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging. - Ping Cao; Zhao Dong; Ke Liu; Kai-Yuan Cai (Inf. Sci., 2013)

A linear algebraic criterion for controllability of both continuous-time and discrete-time symmetric bilinear systems. - Lin Tie; Kai-Yuan Cai; Yan Lin (J. Frankl. Inst., 2013)

Bi-level programming based real-time path planning for unmanned aerial vehicles. - Wei Liu; Zheng Zheng 001; Kai-Yuan Cai (Knowl. Based Syst., 2013)

A comprehensive approach to optimal software rejuvenation. - Jing Zhao 016; Yanbin Wang; Gao-Rong Ning; Kishor S. Trivedi; Rivalino Matias Jr.; Kai-Yuan Cai (Perform. Evaluation, 2013)

Dynamic Random Testing with Parameter Adjustment. - Zijiang Yang; Bei-Bei Yin; Junpeng Lv; Kai-Yuan Cai; Stephen S. Yau; Jia Yu 001 (COMPSAC Workshops, 2014)

A History-Based Dynamic Random Software Testing. - Lei Zhang; Bei-Bei Yin; Junpeng Lv; Kai-Yuan Cai; Stephen S. Yau; Jia Yu 001 (COMPSAC Workshops, 2014)

Refining a Randomized Post-optimization Method for Covering Arrays. - Xiaohua Li; Zhao Dong; Huayao Wu; Changhai Nie; Kai-Yuan Cai (ICST Workshops, 2014)

Software Maintenance Optimization Based on Stackelberg Game Methods. - Jing Zhao 016; Yanbin Wang; Gao-Rong Ning; Cheng-Hong Wang; Kishor S. Trivedi; Kai-Yuan Cai; Zhenyu Zhang 004 (ISSRE Workshops, 2014)

Protection issues for supply systems involving random attacks. - Xiaoyi Zhang 005; Zheng Zheng 001; Yueni Zhu; Kai-Yuan Cai (Comput. Oper. Res., 2014)

Controllability Analysis for a Class of Multirotors Subject to Rotor Failure/Wear. - Guangxun Du; Quan Quan; Binxian Yang; Kai-Yuan Cai (CoRR, 2014)

A New Causal Ideal Internal Dynamics Generator. - Quan Quan; Kai-Yuan Cai (CoRR, 2014)

Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition. - Quan Quan; Lu Jiang; Kai-Yuan Cai (CoRR, 2014)

Output feedback tracking control by additive state decomposition for a class of uncertain systems. - Quan Quan; Hai Lin 002; Kai-Yuan Cai (Int. J. Syst. Sci., 2014)

On small-controllability of a class of Hammerstein-nonlinear systems - an implicit function approach. - Lin Tie; Kai-Yuan Cai; Yan Lin (Int. J. Syst. Sci., 2014)

Estimating confidence interval of software reliability with adaptive testing strategy. - Junpeng Lv; Bei-Bei Yin; Kai-Yuan Cai (J. Syst. Softw., 2014)

A Profust Reliability Based Approach to Prognostics and Health Management. - Zhiyao Zhao; Quan Quan; Kai-Yuan Cai (IEEE Trans. Reliab., 2014)

On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment. - Junpeng Lv; Bei-Bei Yin; Kai-Yuan Cai (IEEE Trans. Software Eng., 2014)

Adaptive and Random Partition Software Testing. - Junpeng Lv; Hai Hu; Kai-Yuan Cai; Tsong Yueh Chen (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Approach for Test Profile Optimization in Dynamic Random Testing. - Ye Li; Bei-Bei Yin; Junpeng Lv; Kai-Yuan Cai (COMPSAC Workshops, 2015)

Using Partition Information to Prioritize Test Cases for Fault Localization. - Xiaoyi Zhang 005; Dave Towey; Tsong Yueh Chen; Zheng Zheng 001; Kai-Yuan Cai (COMPSAC, 2015)

Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests. - Zhongxing Yu; Chenggang Bai; Kai-Yuan Cai (ICSE (1), 2015)

An Adaptive Control Strategy for Resource Allocation of Service-Based Systems in Cloud Environment. - Siqian Gong; Beibei Yin; Wenlong Zhu; Kai-Yuan Cai (QRS Companion, 2015)

Calibration of multiple fish-eye cameras using a wand. - Qiang Fu 007; Quan Quan; Kai-Yuan Cai (IET Comput. Vis., 2015)

Repetitive control for TORA benchmark: An additive-state-decomposition-based approach. - Quan Quan; Kai-Yuan Cai (Int. J. Autom. Comput., 2015)

Using Neural Networks to Forecast Available System Resources: An Approach and Empirical Investigation. - Yun-Fei Jia; Zhi Quan Zhou 001; Ke-Xian Xue; Lei Zhao; Kai-Yuan Cai (Int. J. Softw. Eng. Knowl. Eng., 2015)

Controllability Analysis and Degraded Control for a Class of Hexacopters Subject to Rotor Failures. - Guangxun Du; Quan Quan; Kai-Yuan Cai (J. Intell. Robotic Syst., 2015)

Event Handler Tree Model for GUI Test Case Generation. - Bin Wang; Bei-Bei Yin; Kai-Yuan Cai (COMPSAC Workshops, 2016)

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. - Peng Wang; Kai-Yuan Cai (CoRR, 2016)

Drogue dynamic model under bow wave in probe-and-drogue refueling. - Zi-Bo Wei; Xunhua Dai; Quan Quan; Kai-Yuan Cai (IEEE Trans. Aerosp. Electron. Syst., 2016)

A New Continuous-Time Equality-Constrained Optimization to Avoid Singularity. - Quan Quan; Kai-Yuan Cai (IEEE Trans. Neural Networks Learn. Syst., 2016)

Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process. - Gao-Rong Ning; Jing Zhao 016; Yunlong Lou; Javier Alonso 001; Rivalino Matias; Kishor S. Trivedi; Bei-Bei Yin; Kai-Yuan Cai (IEEE Trans. Reliab., 2016)

Adaptive Resource Allocation of Multiple Servers for Service-Based Systems in Cloud Computing. - Siqian Gong; Beibei Yin; Wenlong Zhu; Kai-Yuan Cai (COMPSAC (2), 2017)

Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective. - Guanping Xiao; Zheng Zheng 001; Beibei Yin; Kishor S. Trivedi; Xiaoting Du; Kai-Yuan Cai (ISSRE, 2017)

A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control. - Yunyu Fang; Bei-Bei Yin; Gao-Rong Ning; Zheng Zheng 001; Kai-Yuan Cai (PRDC, 2017)

An Approach to Web Services Selection for Multiple Users. - Wenlong Zhu; Beibei Yin; Siqian Gong; Kai-Yuan Cai (IEEE Access, 2017)

A Control Performance Index for Multicopters Under Off-nominal Conditions. - Guangxun Du; Quan Quan; Zhiyu Xi; Yang Liu; Kai-Yuan Cai (CoRR, 2017)

Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory. - Quan Quan; Zhiyao Zhao; Liyong Lin; Peng Wang; Walter Murray Wonham; Kai-Yuan Cai (CoRR, 2017)

A modified profust-performance-reliability algorithm and its application to dynamic systems. - Zhiyao Zhao; Quan Quan; Kai-Yuan Cai (J. Intell. Fuzzy Syst., 2017)

A health performance prediction method of large-scale stochastic linear hybrid systems with small failure probability. - Zhiyao Zhao; Quan Quan; Kai-Yuan Cai (Reliab. Eng. Syst. Saf., 2017)

Output Feedback ILC for a Class of Nonminimum Phase Nonlinear Systems With Input Saturation: An Additive-State-Decomposition-Based Method. - Zi-Bo Wei; Quan Quan; Kai-Yuan Cai (IEEE Trans. Autom. Control., 2017)

Robust Pose Estimation for Multirotor UAVs Using Off-Board Monocular Vision. - Qiang Fu 007; Quan Quan; Kai-Yuan Cai (IEEE Trans. Ind. Electron., 2017)

QoS-Based Web Service Selection for Multiple Users by Genetic Algorithm. - Wenlong Zhu; Hanqin Qin; Jianbo Wang; Kai-Yuan Cai (ICNC-FSKD, 2018)

An Adaptive PID Control for QoS Management in Cloud Computing System. - Siqian Gong; Beibei Yin; Kai-Yuan Cai (ISSRE Workshops, 2018)

Terminal Iterative Learning Control for Autonomous Aerial Refueling under Aerodynamic Disturbances. - Xunhua Dai; Quan Quan; Jinrui Ren; Zhiyu Xi; Kai-Yuan Cai (CoRR, 2018)

An Analytical Design Optimization Method for Electric Propulsion Systems of Multicopter UAVs with Desired Hovering Endurance. - Xunhua Dai; Quan Quan; Jinrui Ren; Kai-Yuan Cai (CoRR, 2018)

A cost-effective software testing strategy employing online feedback information. - Zhi Quan Zhou 001; Arnaldo Sinaga; Willy Susilo; Lei Zhao; Kai-Yuan Cai (Inf. Sci., 2018)

Exploring the usefulness of unlabelled test cases in software fault localization. - Xiaoyi Zhang 005; Zheng Zheng 001; Kai-Yuan Cai (J. Syst. Softw., 2018)

Visual-inertial estimation of velocity for multicopters based on vision motion constraint. - Heng Deng; Usman Arif; Qiang Fu 007; Zhiyu Xi; Quan Quan; Kai-Yuan Cai (Robotics Auton. Syst., 2018)

Saturated repetitive control for a class of nonlinear systems: A contraction mapping method. - Quan Quan; Kai-Yuan Cai (Syst. Control. Lett., 2018)

A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. - Xiaoyi Zhang 005; Zheng Zheng 001; Kai-Yuan Cai (IEEE Trans. Reliab., 2018)

A Distance-Based Dynamic Random Testing with Test Case Clustering. - Hanyu Pei; Beibei Yin; Kai-Yuan Cai; Min Xie 001 (QRS, 2019)

Adaptive Multivariable Control for Multiple Resource Allocation of Service-Based Systems in Cloud Computing. - Siqian Gong; Bei-Bei Yin; Zheng Zheng 001; Kai-Yuan Cai (IEEE Access, 2019)

Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles. - Xunhua Dai; Chenxu Ke; Quan Quan; Kai-Yuan Cai (CoRR, 2019)

Design Automation and Optimization Methodology for Electric Multicopter UAVs. - Xunhua Dai; Quan Quan; Kai-Yuan Cai (CoRR, 2019)

An Adaptive Control Method for Resource Provisioning with Resource Utilization Constraints in Cloud Computing. - Siqian Gong; Beibei Yin; Zheng Zheng 001; Kai-Yuan Cai (Int. J. Comput. Intell. Syst., 2019)

Adaptive Partition Testing. - Chang-Ai Sun; Hepeng Dai; Huai Liu; Tsong Yueh Chen; Kai-Yuan Cai (IEEE Trans. Computers, 2019)

Efficiency Optimization and Component Selection for Propulsion Systems of Electric Multicopters. - Xunhua Dai; Quan Quan; Jinrui Ren; Kai-Yuan Cai (IEEE Trans. Ind. Electron., 2019)

Dynamic Random Testing: Technique and Experimental Evaluation. - Hanyu Pei; Kai-Yuan Cai; Beibei Yin; Aditya P. Mathur; Min Xie 001 (IEEE Trans. Reliab., 2019)

Two-Level Rejuvenation for Android Smartphones and Its Optimization. - Yu Qiao; Zheng Zheng 001; Yunyu Fang; Fangyun Qin; Kishor S. Trivedi; Kai-Yuan Cai (IEEE Trans. Reliab., 2019)

An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. - Guanping Xiao; Zheng Zheng 001; Beibei Yin; Kishor S. Trivedi; Xiaoting Du; Kai-Yuan Cai (IEEE Trans. Reliab., 2019)

Sampled-data repetitive control for a class of non-minimum phase nonlinear systems subject to period variation. - Quan Quan; Kai-Yuan Cai (Int. J. Syst. Sci., 2020)

Hose-Drum-Unit Modeling and Control for Probe-and-Drogue Autonomous Aerial Refueling. - Xunhua Dai; Zi-Bo Wei; Quan Quan; Kai-Yuan Cai (IEEE Trans. Aerosp. Electron. Syst., 2020)

Indoor Multi-Camera-Based Testbed for 3-D Tracking and Control of UAVs. - Heng Deng; Qiang Fu 007; Quan Quan; Kun Yang; Kai-Yuan Cai (IEEE Trans. Instrum. Meas., 2020)

S-ADA: Software as an Autonomous, Dependable and Affordable System. - Kai-Yuan Cai; Kishor S. Trivedi; Beibei Yin (DSN (Supplements), 2021)

Additive-state-decomposition-based station-keeping control for autonomous aerial refueling. - Jinrui Ren; Quan Quan; Haibiao Ma; Kai-Yuan Cai (Sci. China Inf. Sci., 2021)

Practical Distributed Control for VTOL UAVs to Pass a Tunnel. - Quan Quan; Rao Fu; Mengxin Li; Donghui Wei; Yan Gao 018; Kai-Yuan Cai (CoRR, 2021)

Repetitive control for nonlinear systems: an actuator-focussed design method. - Quan Quan; Kai-Yuan Cai (Int. J. Control, 2021)

Dynamic random testing with test case clustering and distance-based parameter adjustment. - Hanyu Pei; Beibei Yin; Min Xie 001; Kai-Yuan Cai (Inf. Softw. Technol., 2021)

Simulation Credibility Assessment Methodology With FPGA-based Hardware-in-the-Loop Platform. - Xunhua Dai; Chenxu Ke; Quan Quan; Kai-Yuan Cai (IEEE Trans. Ind. Electron., 2021)

Towards Research on Information Gravitation. - Kai-Yuan Cai (QRS Companion, 2022)

An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation". - Chang-Ai Sun; Hepeng Dai; Guan Wang; Dave Towey; Tsong Yueh Chen; Kai-Yuan Cai (SERVICES, 2022)

Minimal Joint Entropy and Order-Preserving Couplings. - Ya-Jing Ma; Feng Wang; Xian-Yuan Wu; Kai-Yuan Cai (CoRR, 2022)

A Control with Patterns Approach for the Stability Issue of Dynamical Systems Operating in Data-Rich Environments. - Quan Quan; Kai-Yuan Cai (CoRR, 2022)

Design Automation and Optimization Methodology for Electric Multicopter Unmanned Aerial Robots. - Xunhua Dai; Quan Quan; Kai-Yuan Cai (IEEE Trans Autom. Sci. Eng., 2022)

Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles. - Quan Quan; Rao Fu; Kai-Yuan Cai (IEEE Trans. Intell. Transp. Syst., 2022)

Practical Distributed Control for VTOL UAVs to Pass a Virtual Tube. - Quan Quan; Rao Fu; Mengxin Li; Donghui Wei; Yan Gao 018; Kai-Yuan Cai (IEEE Trans. Intell. Veh., 2022)

Dynamic Random Testing of Web Services: A Methodology and Evaluation. - Chang-Ai Sun; Hepeng Dai; Guan Wang; Dave Towey; Tsong Yueh Chen; Kai-Yuan Cai (IEEE Trans. Serv. Comput., 2022)

How Far Two UAVs Should be Subject to Communication Uncertainties. - Quan Quan; Rao Fu; Kai-Yuan Cai (IEEE Trans. Intell. Transp. Syst., 2023)

A dynamic random testing strategy in the context of cloud computing. - Hanyu Pei; Beibei Yin; Linzhi Huang; Kai-Yuan Cai (Softw. Qual. J., 2023)

Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts. - Rao Fu; Quan Quan; Mengxin Li; Kai-Yuan Cai (IEEE Trans. Intell. Transp. Syst., 2023)

Uniform Passive Fault-Tolerant Control of a Quadcopter With One, Two, or Three Rotor Failure. - Chenxu Ke; Kai-Yuan Cai; Quan Quan (IEEE Trans. Robotics, 2023)

Control with Patterns: A D-learning Method. - Quan Quan; Kai-Yuan Cai; Chenyu Wang (CoRL, 2024)

Sharing Attention Mechanism in V-SLAM: Relative Pose Estimation with Messenger Tokens on Small Datasets. - Dun Dai; Quan Quan; Kai-Yuan Cai (IROS, 2024)

A Strategy of Dynamic Random Testing with Hybrid Distance Metrics for Quantum Programs. - Linzhi Huang; Hanyu Pei; Yuechen Li; Beibei Yin; Kai-Yuan Cai (QRS, 2024)

A method of multidimensional software aging prediction based on ensemble learning: A case of Android OS. - Yuge Nie; Yulei Chen; Yujia Jiang; Huayao Wu; Beibei Yin; Kai-Yuan Cai (Inf. Softw. Technol., 2024)

Automatic Repair of Quantum Programs via Unitary Operation. - Yuechen Li; Hanyu Pei; Linzhi Huang; Beibei Yin; Kai-Yuan Cai (ACM Trans. Softw. Eng. Methodol., 2024)

A degree of flowability for virtual tubes. - Quan Quan; Shuhan Huang; Kai-Yuan Cai (Robotics Auton. Syst., 2025)

Quantum Optimization for Software Engineering: A Survey. - Man Zhang; Yuechen Li; Tao Yue; Kai-Yuan Cai (CoRR, 2025)

Fault-Tolerant Control of Lifting-Wing Multicopter Based on Nonlinear MPC. - Xinquan Chen; Shuai Wang 044; Haixin Zhao; Kai-Yuan Cai; Quan Quan (IEEE Robotics Autom. Lett., 2025)

Practical Distributed Control for Cooperative VTOL UAVs Within a 3-D Roundabout. - Rao Fu; Pengda Mao; Yangqi Lei; Kai-Yuan Cai; Quan Quan (IEEE Trans. Intell. Transp. Syst., 2025)

Correspondence-Free Relative Pose Estimation: A Global Approach With Sparse Feature-Guided Directional Embedding. - Dun Dai; Quan Quan; Kai-Yuan Cai; Ruoyuan Wang (IEEE Robotics Autom. Lett., 2025)