Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
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, und X. Zhang. Security and Communication Networks, 8 (18): 3667-3681 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

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