Sun Ding

According to our database, Sun Ding authored at least 13 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

An effective MCTS-based algorithm for minimizing makespan in dynamic flexible job shop scheduling problem.

Kexin Li, Qianwang Deng, Like Zhang, Qing Fan, Guiliang Gong, Sun Ding

Comput. Ind. Eng., 2021

2015

Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.

Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

2014

Empirical Comparison of Intermediate Representations for Android Applications.

Yauhen Arnatovich, Hee Beng Kuan Tan, Sun Ding, Kaiping Liu, Lwin Khin Shar

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

SymCrash: selective recording for reproducing crashes.

Yu Cao, Hongyu Zhang, Sun Ding

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

ABOR: An Automatic Framework for Buffer Overflow Removal in C/C++Programs.

Sun Ding, Hee Beng Kuan Tan, Hongyu Zhang

Proceedings of the Enterprise Information Systems - 16th International Conference, 2014

Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs.

Sun Ding, Hee Beng Kuan Tan, Hongyu Zhang

Proceedings of the ICEIS 2014, 2014

Detecting infeasible branches based on code patterns.

Sun Ding, Hongyu Zhang, Hee Beng Kuan Tan

Proceedings of the 2014 Software Evolution Week, 2014

2013

Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities.

Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar, Bindu Madhavi Padmanabhuni

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

A Survey of Infeasible Path Detection.

Sun Ding, Hee Beng Kuan Tan, Kaiping Liu

Proceedings of the ENASE 2012, 2012

Detection of Infeasible Paths: Approaches and Challenges.

Sun Ding, Hee Beng Kuan Tan

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2012

Detection of Buffer Overflow Vulnerabilities in C/C++ with Pattern Based Limited Symbolic Evaluation.

Sun Ding, Hee Beng Kuan Tan, Kaiping Liu, Mahinthan Chandramohan, Hongyu Zhang

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

2011

Design verification for database applications through analysing their support to data lifecycle.

Sun Ding, Hee Beng Kuan Tan

Int. J. Data Min. Model. Manag., 2011

2008

Intelligent Mobile Agents for Large-Scale Collaborative Virtual Environment.

Qingping Lin, Liang Zhang, Sun Ding, Guorui Feng, Guangbin Huang

Int. J. Virtual Real., 2008