Login / Signup
Jinbo Du
Publication Activity (10 Years)
Years Active: 2009-2018
Publications (10 Years): 1
Top Topics
Specification Language
Symbolic Execution
Static Analysis
Test Data Generation
Top Venues
Frontiers Comput. Sci.
</>
Publications
</>
Anil Kumar Karna
,
Jinbo Du
,
Haihao Shen
,
Hao Zhong
,
Jiong Gong
,
Haibo Yu
,
Xiangning Ma
,
Jianjun Zhao
Tuning parallel symbolic execution engine for better performance.
Frontiers Comput. Sci.
12 (1) (2018)
Can Zhang
,
Hao-peng Chen
,
Jinbo Du
A Tabu Search Approach for Dynamic Service Substitution in SOA Applications.
APSCC
(2011)
Jinbo Du
,
Hao-peng Chen
,
Can Zhang
A Heuristic Approach with Branch Cut to Service Substitution in Service Orchestration.
FCST
(2009)