Author of the publication

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.

, , , , , , , and . ICSE (Companion Volume), page 61-64. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic tracking of swimming koi using a particle filter with a center-surrounding cue., , , , , and . Mathematical and Computer Modelling, 58 (3-4): 859-867 (2013)Detecting academic experts by topic-sensitive link analysis., , and . Frontiers of Computer Science in China, 3 (4): 445-456 (2009)Bus holding strategy based on shuffled complex evolution method., and . Frontiers of Computer Science, 6 (4): 462-468 (2012)Symbolic Analysis of Programmable Logic Controllers., , , , , and . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)Semi-supervised Unified Latent Factor learning with multi-view data., , , and . Mach. Vis. Appl., 25 (7): 1635-1645 (2014)From 3G to 4G: technology evolution and path dynamics in China's mobile telecommunication sector.. Techn. Analysis & Strat. Manag., 23 (10): 1079-1093 (2011)Framework for integrated mechanical design automation., , , , , , and . Computer-Aided Design, 32 (5-6): 355-365 (2000)Local structure preserving discriminative projections for RGB-D sensor-based scene classification., , , and . Inf. Sci., (2015)A Single-Frame Superresolution Algorithm for Lab-on-a-Chip Lensless Microfluidic Imaging., , , , and . IEEE Design & Test, 32 (6): 32-40 (2015)QoS Guarantee in Tomcat Web Server: A Feedback Control Approach., , , , and . CyberC, page 183-189. IEEE Computer Society, (2011)