Author of the publication

DyTa: dynamic symbolic execution guided with static verification results.

, , , and . ICSE, page 992-994. ACM, (2011)

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

Efficient Graph Processing with Invalid Update Filtration., , , , , , and . IEEE Trans. Big Data, 7 (3): 590-602 (2021)BeneFactor: a flexible refactoring tool for eclipse., and . OOPSLA Companion, page 19-20. ACM, (2011)Manual refactoring changes with automated refactoring validation., and . ICSE, page 1095-1105. ACM, (2014)Refactoring-aware code review., , , and . VL/HCC, page 71-79. IEEE Computer Society, (2017)Phishing in international waters: exploring cross-national differences in phishing conceptualizations between Chinese, Indian and American samples., , , , , , and . HotSoS, page 8. ACM, (2014)DyTa: dynamic symbolic execution guided with static verification results., , , and . ICSE, page 992-994. ACM, (2011)Towards refactoring-aware code review., , and . CHASE, page 99-102. ACM, (2014)Design and evaluation of a multi-recommendation system for local code search., , , and . J. Vis. Lang. Comput., (2017)How developers use multi-recommendation system in local code search., , , and . VL/HCC, page 69-76. IEEE Computer Society, (2014)Reconciling manual and automatic refactoring., , and . ICSE, page 211-221. IEEE Computer Society, (2012)