Kai-Yuan Cai

CoRR, 2012

Continuous-Time Equality-Constrained Optimization Based on a New Projection Matrix

[BibT_eX]

[DOI]

CoRR, 2012

3-Way GUI Test Cases Generation Based on Event-Wise Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Distribution-Aware Mutation Analysis.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Towards Dynamic Random Testing for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

A Reputation System for Trustworthy QoS Information in Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Additive-output-decomposition-based dynamic inversion tracking control for a class of uncertain linear time-invariant systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Guest Editorial: Computational Intelligence in Reliability Engineering.

[BibT_eX]

[DOI]

Gregory Levitin

IEEE Trans. Reliab., 2011

A Filtered Repetitive Controller for a Class of Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

On near-controllability and stabilizability of a class of discrete-time bilinear systems.

[BibT_eX]

[DOI]

Lin Tie

Syst. Control. Lett., 2011

On controllability of discrete-time bilinear systems.

[BibT_eX]

[DOI]

Lin Tie

Yan Lin

J. Frankl. Inst., 2011

Output tracking for nonlinear non-minimum phase systems with output delay and application to an F-16 jet fighter.

[BibT_eX]

[DOI]

Bo Zhu

Int. J. Syst. Sci., 2011

Finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2011

Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input

[BibT_eX]

[DOI]

Hai Lin

CoRR, 2011

A feedback based CRI approach to fuzzy reasoning.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2011

Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

GUI Software Fault Localization Using N-gram Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Software Fault Localization Based on Centrality Measures.

[BibT_eX]

[DOI]

Ling-Zan Zhu

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Sufficient Condition for Parameters Estimation in Dynamic Random Testing.

[BibT_eX]

[DOI]

Junpeng Lv

Hai Hu

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

On Uncontrollable Discrete-Time Bilinear Systems Which are "Nearly" Controllable.

[BibT_eX]

[DOI]

Lin Tie

Yan Lin

IEEE Trans. Autom. Control., 2010

Robustness of fuzzy operators in environments with random perturbations.

[BibT_eX]

[DOI]

Zheng Zheng

Wei Liu

Soft Comput., 2010

Reliable guaranteed cost sampling control for nonlinear time-delay systems.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2010

Robust variable sampling control for T-S fuzzy systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2010

Tracking control for VTOL aircraft with disabled IMUs.

[BibT_eX]

[DOI]

Jinkun Liu

Int. J. Syst. Sci., 2010

Finite-time quantized guaranteed cost fuzzy control for continuous-time nonlinear systems.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2010

Mathematical modeling of software reliability testing with imperfect debugging.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2010

Event Handler-Based Coverage for GUI Testing.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

On Modeling of GUI Test Profile.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Indoor autonomous hovering control for a small unmanned coaxial helicopter.

[BibT_eX]

[DOI]

Shanjie Wu

Zheng Zheng

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Design and control of a tri-rotor aircraft.

[BibT_eX]

[DOI]

Penghui Fan

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Entropy-Based Measures of Heterogeneity of Software Structural Profile.

[BibT_eX]

[DOI]

Ling-Zan Zhu

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Parallel Implementation Strategy of Adaptive Testing.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Delta-equalities of Complex Fuzzy Relations.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

Software execution processes as an evolving complex network.

[BibT_eX]

[DOI]

Inf. Sci., 2009

Supervisory control of discrete event systems with state-dependent controllability.

[BibT_eX]

[DOI]

Peng Wang

Int. J. Syst. Sci., 2009

An Intelligent Control Architecture for Adaptive Service-Based Software Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2009

An Improved Approach to Adaptive Testing.

[BibT_eX]

[DOI]

Hai Hu

Chang-Hai Jiang

Int. J. Softw. Eng. Knowl. Eng., 2009

Operation properties and delta-equalities of complex fuzzy sets.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2009

Tracking control for a velocity-sensorless VTOL aircraft with delayed outputs.

[BibT_eX]

[DOI]

Jinkun Liu

Autom., 2009

Mining Components with Software Execution Data.

[BibT_eX]

Shaowen Qin

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Improving Software Testing Cost-Effectiveness through Dynamic Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies.

[BibT_eX]

[DOI]

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Propagation of Random Perturbations under Fuzzy Algebraic Operators.

[BibT_eX]

[DOI]

Zheng Zheng

Shanjie Wu

Proceedings of the Knowledge Science, 2009

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS).

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Output tracking of VTOL aircraft with delayed attitude measurements.

[BibT_eX]

[DOI]

Bo Zhu

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Quadrotor aircraft control without velocity measurements.

[BibT_eX]

[DOI]

Ruifeng Zhang

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Additive Decomposition and its applications to internal-model-based tracking.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Software Cybernetics.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Reliable Hinfty Nonuniform Sampling Fuzzy Control for Nonlinear Systems With Time Delay.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2008

On the Trend of Remaining Software Defect Estimation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2008

Fuzzy Reasoning as a Control Problem.

[BibT_eX]

[DOI]

Lei Zhang

IEEE Trans. Fuzzy Syst., 2008

An experimental study of adaptive testing for software reliability assessment.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

An analysis of research topics in software engineering - 2006.

[BibT_eX]

[DOI]

David Card

J. Syst. Softw., 2008

Software testing processes as a linear dynamic system.

[BibT_eX]

[DOI]

Zhao Dong

Ke Liu

Inf. Sci., 2008

Does software reliability growth behavior follow a non-homogeneous Poisson process.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

On the Online Parameter Estimation Problem in Adaptive Software Testing.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2008

On the Relationship between Software Aging and Related Parameters (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

A feedback control approach for software rejuvenation in a web server.

[BibT_eX]

[DOI]

Yun-Fei Jia

Jing-Ya Su

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

IWSC 2008 Workshop Organization.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the IWSC 2008 Workshop Organizers.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model.

[BibT_eX]

[DOI]

Hai Hu

Chang-Hai Jiang

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Nonlinear Approach to Modeling of Software Aging in a Web Server.

[BibT_eX]

[DOI]

Yun-Fei Jia

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Adaptive software testing with fixed-memory feedback.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Robust fuzzy control for uncertain discrete-time nonlinear Markovian jump systems without mode observations.

[BibT_eX]

[DOI]

Inf. Sci., 2007

A polynomial dynamic system approach to software design for attractivity requirement.

[BibT_eX]

[DOI]

Inf. Sci., 2007

A mathematical modeling framework for software reliability testing.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2007

Distributed Frequent Closed Itemsets Mining.

[BibT_eX]

[DOI]

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Effective Fault Localization using BP Neural Networks.

[BibT_eX]

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Software Cybernetics Approach to Deploying and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

A Data Mining Approach for Software State Definition.

[BibT_eX]

[DOI]

Chenggang Bai

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Effective Fault Localization using Code Coverage.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Mode-independent robust stabilization for uncertain Markovian jump nonlinear systems via fuzzy control.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2006

Introduction to the special section on software cybernetics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Software Reliability Experimentation and Control.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Atsushi Ohnishi

T. H. Tse

Int. J. Softw. Eng. Knowl. Eng., 2006

H2 guaranteed cost fuzzy control design for discrete-time nonlinear systems with parameter uncertainty.

[BibT_eX]

[DOI]

Autom., 2006

Chaotic Analysis of Software Aging in Web Server.

[BibT_eX]

[DOI]

Yun-Fei Jia

Xiu-E Chen

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

A Threshold Autoregressive Model for Software Aging.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.

[BibT_eX]

[DOI]

Peng Wang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Optimal and Adaptive Testing with Cost Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Dynamic Partitioning Approach for GUI Testing.

[BibT_eX]

[DOI]

Feng Wang

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

An improved robust fuzzy-PID controller with optimal fuzzy reasoning.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2005

Fuzzy nonlinear regression with fuzzified radial basis function network.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2005

Variable-structure coherent systems†.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2005

Optimal software testing in the setting of controlled Markov chains.

[BibT_eX]

[DOI]

Yong-Chao Li

Wei-Yi Ning

Eur. J. Oper. Res., 2005

A Partial-Repeatability Approach to Data Mining.

[BibT_eX]

[DOI]

Yunfei Yin

Shichao Zhang

IEEE Intell. Informatics Bull., 2005

Adaptive testing of software components.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

On the Test Case Definition for GUI Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Partition Testing with Dynamic Partitioning.

[BibT_eX]

[DOI]

Tao Jing

Chenggang Bai

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Optimal and adaptive testing for software reliability assessment.

[BibT_eX]

[DOI]

Yong-Chao Li

Ke Liu

Inf. Softw. Technol., 2004

Optimal fuzzy reasoning and its robustness analysis.

[BibT_eX]

[DOI]

Lei Zhang

Int. J. Intell. Syst., 2004

Extended neuro-fuzzy models of multilayer perceptrons.

[BibT_eX]

[DOI]

Dong Zhang

Xiao-Li Bai

Fuzzy Sets Syst., 2004

H2 guaranteed cost fuzzy control for uncertain nonlinear systems via linear matrix inequalities.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

On the polynomial dynamic system approach to software development.

[BibT_eX]

[DOI]

Xiangyun Wang

Yongchao Li

Sci. China Ser. F Inf. Sci., 2004

Towards a Control-Theoretical Approach to Software Fault-Tolerance.

[BibT_eX]

[DOI]

Xiang-Yun Wang

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

Optimal stopping of multi-project software testing in the context of software cybernetics.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2003

An Overview of Software Cybernetics.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.

[BibT_eX]

[DOI]

Baskar Sridharan

Aditya P. Mathur

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

How to Test Software for Optimal Software Reliability Assessment.

[BibT_eX]

[DOI]

Yong-Chao Li

Ke Liu

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.

[BibT_eX]

[DOI]

Baskar Sridharan

Aditya P. Mathur

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

A robust fuzzy PD controller for automatic steering control of autonomous vehicles.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Fuzzy Systems, 2003

An Efficient Defect Estimation Method for Software Defect Curves.

[BibT_eX]

[DOI]

Chenggang Bai

T. Y. Chen

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Analyzing software science data with partial repeatability.

[BibT_eX]

[DOI]

Lei Chen

J. Syst. Softw., 2002

Optimal software testing and adaptive software testing in the context of software cybernetics.

[BibT_eX]

[DOI]