Kai Shi

13 papers A* 2C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 A* conf
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving.
ASE
Haoyu Liao, Jianmei Guo, Bo Huang, Yujie Han, Dingyu Yang, Kai Shi, Jonathan Ding, Guoyao Xu, Guodong Yang, Liping Zhang
2019 J jnl
A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines.
Int. J. Softw. Eng. Knowl. Eng.
Kai Shi, Huiqun Yu, Jianmei Guo, Guisheng Fan, Liqiong Chen, Xingguang Yang
2019 — conf
An Empirical Study on Progressive Sampling for Just-in-Time Software Defect Prediction.
QuASoQ@APSEC
Xingguang Yang, Huiqun Yu, Guisheng Fan, Kang Yang, Kai Shi
2019 J jnl
Local versus Global Models for Just-In-Time Software Defect Prediction.
Sci. Program.
Xingguang Yang, Huiqun Yu, Guisheng Fan, Kai Shi, Liqiong Chen
2019 J jnl
Mutation with Local Searching and Elite Inheritance Mechanism in Multi-Objective Optimization Algorithm: A Case Study in Software Product Line.
Int. J. Softw. Eng. Knowl. Eng.
Kai Shi, Huiqun Yu, Guisheng Fan, Jianmei Guo, Liqiong Chen, Xingguang Yang, Huaiying Sun
2019 J jnl
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
Softw. Syst. Model.
Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu
2018 J jnl
A parallel portfolio approach to configuration optimization for large software product lines.
Softw. Pract. Exp.
Kai Shi, Huiqun Yu, Jianmei Guo, Guisheng Fan, Xingguang Yang
2018 — conf
Combining Constraint Solving with Different MOEAs for Configuring Large Software Product Lines: A Case Study.
COMPSAC (1)
Huiqun Yu, Kai Shi, Jianmei Guo, Guisheng Fan, Xingguang Yang, Liqiong Chen
2018 A* conf
To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines.
ICSE
Jianmei Guo, Kai Shi
2018 C conf
imBBO: An Improved Biogeography-Based Optimization Algorithm.
GPC
Kai Shi, Huiqun Yu, Guisheng Fan, Xingguang Yang, Zheng Song
2016 C conf
Multi-Objective Biogeography-Based Method to Optimize Virtual Machine Consolidation.
SEKE
Kai Shi, Huiqun Yu, Fei Luo, Guisheng Fan
2016 — conf
iCPBBOCO: A Combination Evaluation Algorithm Based on the Extensional BBO.
iThings/GreenCom/CPSCom/SmartData
Kai Shi, Huiqun Yu, Guisheng Fan, Fei Luo
2014 — conf
Design and realization of general matrix keyboard based on STM32.
ICSAI
Kai Shi, Zhanquan Wang, Fei Luo, Chunhua Gu