Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.

T. Chen, X. Lin, J. Huang, A. Bacchus, and X. Zhang. Security and Communication Networks, 8 (18): 3667-3681 (2015)

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.

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Other publications of authors with the same name

Design of an efficient active noise cancellation circuit for in-ear headphones.K. Chen, H. Vu, K. Weng, J. Huang, Y. Tsai, Y. Liu, and W. Wang. APCCAS, page 599-602. IEEE, (2014)A New Method for Objective Measurement of Perceived Audio Quality.H. Wang, J. Huang, and Y. Tseng. ICMC, Michigan Publishing, (2017)Content-aware texture mapping.Y. Jin, Z. Shi, J. Sun, J. Huang, and R. Tong. Graphical Models, 76 (3): 152-161 (2014)Geometrically Exact Simulation of Inextensible Ribbon.Z. Shen, J. Huang, W. Chen, and H. Bao. Comput. Graph. Forum, 34 (7): 145-154 (2015)Remeshing-assisted Optimization for Locally Injective Mappings.Y. Jin, J. Huang, and R. Tong. Comput. Graph. Forum, 33 (5): 269-279 (2014)An efficient large deformation method using domain decomposition.J. Huang, X. Liu, H. Bao, B. Guo, and H. Shum. Computers & Graphics, 30 (6): 927-935 (2006)Identifying composite crosscutting concerns through semi-supervised learning.J. Zhu, J. Huang, D. Zhou, F. Carminati, G. Zhang, and Q. He. Softw., Pract. Exper., 44 (12): 1525-1545 (2014)Real-time dynamics for geometric textures in shell.J. Huang, H. Sun, K. Zhou, and H. Bao. Journal of Visualization and Computer Animation, 20 (2-3): 133-141 (2009)Analysis and evaluation of the top-k most influential location selection query.J. Chen, J. Huang, Z. Wen, Z. He, K. Taylor, and R. Zhang. Knowl. Inf. Syst., 43 (1): 181-217 (2015)FARM: An Efficient Feed-Through Pin Assignment Algorithm.X. Hong, J. Huang, C. Cheng, and E. Kuh. DAC, page 530-535. (1992)

PUMA

Disambiguation of "Huang, Jin"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.

Please choose a person to relate this publication to

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Huang, Jin"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An empirical investigation into path divergences for concolic execution using CREST.

Please choose a person to relate this publication to

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.