Static detection of cross-site scripting vulnerabilities von Wassermann, G., Zhendong Su

Volltext

A Survey on Data-Flow Testing von Su, Ting, Wu, Ke, Miao, Weikai, Pu, Geguang, He, Jifeng, Chen, Yuting, Su, Zhendong

Volltext

Scalable detection of semantic clones von Gabel, M., Lingxiao Jiang, Zhendong Su

Volltext

XSat: A Fast Floating-Point Satisfiability Solver von Fu, Zhoulai, Su, Zhendong

Volltext

Symbolic mining of temporal specifications von Gabel, M., Zhendong Su

Volltext

Abstracting runtime heaps for program understanding von Marron, M., Sanchez, C., Zhendong Su, Fahndrich, M.

Volltext

Mutant Kras co-opts a proto-oncogenic enhancer network in inflammation-induced metaplastic progenitor cells to initiate pancreatic cancer von Li, Yong, He, Yi, Peng, Junya, Su, Zhendong, Li, Zeyao, Zhang, Bingjie, Ma, Jing, Zhuo, Meilian, Zou, Di, Liu, Xinde, Liu, Xinhong, Wang, Wenze, Huang, Dan, Xu, Mengyue, Wang, Jianbin, Deng, Haiteng, Xue, Jing, Xie, Wei, Lan, Xun, Chen, Mo, Zhao, Yupei, Wu, Wenming, David, Charles J.

Volltext

Online inference and enforcement of temporal properties von Gabel, Mark, Su, Zhendong

Volltext

Neurocan, an extracellular chondroitin sulfate proteoglycan, stimulates neuroblastoma cells to promote malignant phenotypes von Su, Zhendong, Kishida, Satoshi, Tsubota, Shoma, Sakamoto, Kazuma, Cao, Dongliang, Kiyonari, Shinichi, Ohira, Miki, Kamijo, Takehiko, Narita, Atsushi, Xu, Yinyan, Takahashi, Yoshiyuki, Kadomatsu, Kenji

Volltext

Finding bugs in database systems via query partitioning von Rigger, Manuel, Su, Zhendong

Volltext

Control of a Cheetah Robot in Passive Bounding Gait von Nie, Hua, Sun, Ronglei, Hu, Liya, Su, Zhendong, Hu, Wenqiang

Volltext

Automatic Detection of Unsafe Dynamic Component Loadings von Kwon, Taeho, Su, Zhendong

Volltext

Disrupting Terrorist Networks Based on Link Prediction: A Case Study of the 9-11 Hijackers Network von Su, Zhendong, Ren, Kaijun, Zhang, Ruoyun, Tan, Suo-Yi

Volltext

Compiler validation via equivalence modulo inputs von Le, Vu, Afshari, Mehrdad, Su, Zhendong

Volltext

Has the bug really been fixed? von Gu, Zhongxian, Barr, Earl T., Hamilton, David J., Su, Zhendong

Volltext

Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration von Winterer, Dominik, Su, Zhendong

Volltext

SMT2Test: From SMT Formulas to Effective Test Cases von Zhang, Chengyu, Su, Zhendong

Volltext

Automated coverage-driven testing： combining symbolic execution and model checking von Su, Ting, Pu, Geguang, Miao, Weikai, He, Jifeng, Su, Zhendong

Volltext

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior von Theodoridis, Theodoros, Su, Zhendong

Volltext

Static checking of dynamically generated queries in database applications von Wassermann, Gary, Gould, Carl, Su, Zhendong, Devanbu, Premkumar

Volltext