Sun Ding

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Automatic Detection

Job Shop Scheduling Problem

False Positives

Promising Directions

Top Venues

COMPSAC Workshops

ENASE (Selected Papers)

Publications

Kexin Li, Qianwang Deng, Like Zhang, Qing Fan, Guiliang Gong, Sun Ding
An effective MCTS-based algorithm for minimizing makespan in dynamic flexible job shop scheduling problem. Comput. Ind. Eng. 155 (2021)
Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar
Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths. AST@ICSE (2015)
Yauhen Arnatovich, Hee Beng Kuan Tan, Sun Ding, Kaiping Liu, Lwin Khin Shar
Empirical Comparison of Intermediate Representations for Android Applications. SEKE (2014)
Sun Ding, Hongyu Zhang, Hee Beng Kuan Tan
Detecting infeasible branches based on code patterns. CSMR-WCRE (2014)
Yu Cao, Hongyu Zhang, Sun Ding
SymCrash: selective recording for reproducing crashes. ASE (2014)
Sun Ding, Hee Beng Kuan Tan, Hongyu Zhang
Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs. ICEIS (2) (2014)
Sun Ding, Hee Beng Kuan Tan, Hongyu Zhang
ABOR: An Automatic Framework for Buffer Overflow Removal in C/C++Programs. ICEIS (Revised Selected Papers) (2014)
Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar, Bindu Madhavi Padmanabhuni
Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities. APSEC (1) (2013)
Sun Ding, Hee Beng Kuan Tan, Kaiping Liu
A Survey of Infeasible Path Detection. ENASE (2012)
Sun Ding, Hee Beng Kuan Tan, Kaiping Liu, Mahinthan Chandramohan, Hongyu Zhang
Detection of Buffer Overflow Vulnerabilities in C/C++ with Pattern Based Limited Symbolic Evaluation. COMPSAC Workshops (2012)
Sun Ding, Hee Beng Kuan Tan
Detection of Infeasible Paths: Approaches and Challenges. ENASE (Selected Papers) (2012)
Sun Ding, Hee Beng Kuan Tan
Design verification for database applications through analysing their support to data lifecycle. Int. J. Data Min. Model. Manag. 3 (4) (2011)
Qingping Lin, Liang Zhang, Sun Ding, Guorui Feng, Guangbin Huang
Intelligent Mobile Agents for Large-Scale Collaborative Virtual Environment. Int. J. Virtual Real. 7 (2) (2008)