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

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

J. Sui, C. Xu, S. Cheung, W. Xi, Y. Jiang, C. Cao, X. Ma, and J. Lu. Information & Software Technology, (2016)

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.

Chenming Jiang University of Stuttgart

Other publications of authors with the same name

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.T. Gu, X. Ma, C. Xu, Y. Jiang, C. Cao, and J. Lu. ECOOP, volume 109 of LIPIcs, page 19:1-19:28. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Online shared memory dependence reduction via bisectional coordination.Y. Jiang, C. Xu, D. Li, X. Ma, and J. Lu. SIGSOFT FSE, page 822-832. ACM, (2016)Effectively Manifesting Concurrency Bugs in Android Apps.Q. Li, Y. Jiang, T. Gu, C. Xu, J. Ma, X. Ma, and J. Lu. APSEC, page 209-216. IEEE Computer Society, (2016)Testing Android Apps via Guided Gesture Event Generation.X. Wu, Y. Jiang, C. Xu, C. Cao, X. Ma, and J. Lu. APSEC, page 201-208. IEEE Computer Society, (2016)Synthesizing object transformation for dynamic software updating.T. Gu, X. Ma, C. Xu, Y. Jiang, C. Cao, and J. Lü. ICSE (Companion Volume), page 336-338. IEEE Computer Society, (2017)Concolic Metamorphic Debugging.H. Jin, Y. Jiang, N. Liu, C. Xu, X. Ma, and J. Lu. COMPSAC, page 232-241. IEEE Computer Society, (2015)ReScue: crafting regular expression DoS attacks.Y. Shen, Y. Jiang, C. Xu, P. Yu, X. Ma, and J. Lu. ASE, page 225-235. ACM, (2018)AATT+: Effectively manifesting concurrency bugs in Android apps.J. Wang, Y. Jiang, C. Xu, Q. Li, T. Gu, J. Ma, X. Ma, and J. Lu. Sci. Comput. Program., (2018)Using Computer Games for Youth Development.R. Yun, Y. Jiang, and Y. Li. Trans. Edutainment, (2009)Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps.W. Li, Y. Jiang, C. Xu, Y. Liu, X. Ma, and J. Lu. SANER, page 355-365. IEEE, (2019)

PUMA

Disambiguation of "Jiang, Yanyan"

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

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

Please choose a person to relate this publication to

Chenming Jiang University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Jiang, Yanyan"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

Please choose a person to relate this publication to

Chenming Jiang 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

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.