Autor der Publikation

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.

, , , , und . QRS, Seite 926-937. IEEE, (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal Multiresolution Polygonal Approximation., und . COCOON, Volume 1276 von Lecture Notes in Computer Science, Seite 32-41. Springer, (1997)Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps., , , und . QRS, Seite 298-306. IEEE, (2016)Accuracy Graphs of Spectrum-Based Fault Localization Formulas., , , und . IEEE Trans. Reliability, 66 (2): 403-424 (2017)A web search-centric approach to recommender systems with URLs as minimal user contexts., , und . J. Syst. Softw., 84 (6): 930-941 (2011)Testing pervasive software in the presence of context inconsistency resolution services., , und . ICSE, Seite 61-70. ACM, (2008)Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs., und . IEEE Trans. Software Eng., 40 (3): 266-281 (2014)A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective., und . QSIC, Seite 35-44. IEEE, (2013)Extending the Theoretical Fault Localization Effectiveness Hierarchy with Empirical Results at Different Code Abstraction Levels., , und . COMPSAC, Seite 161-170. IEEE Computer Society, (2014)Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments., , , , und . COMPSAC, Seite 72-81. IEEE Computer Society, (2012)Precise Propagation of Fault-Failure Correlations in Program Flow Graphs., , , und . COMPSAC, Seite 58-67. IEEE Computer Society, (2011)