Author of the publication

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

IntelliGen: Automatic Driver Synthesis for Fuzz Testing., , , , and . ICSE (SEIP), page 318-327. IEEE, (2021)EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine., , , , , , , and . SANER, page 554-558. IEEE, (2019)SCStudio: a secure and efficient integrated development environment for smart contracts., , , , , , and . ISSTA, page 666-669. ACM, (2021)EVMFuzzer: detect EVM vulnerabilities via fuzz testing., , , , , , , and . ESEC/SIGSOFT FSE, page 1110-1114. ACM, (2019)Making smart contract development more secure and easier., , , , , , and . ESEC/SIGSOFT FSE, page 1360-1370. ACM, (2021)Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos., , , , , , , and . CCS, page 1182-1196. ACM, (2023)Poster: Fuzz Testing of Quantum Program., , and . ICST, page 466-469. IEEE, (2021)GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability., , , , , , , and . CoRR, (2019)Empirical evaluation of smart contract testing: what is the best choice?, , , , , , , and . ISSTA, page 566-579. ACM, (2021)Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model., , , , , and . SP, page 2517-2532. IEEE, (2023)