Author of the publication

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

, , , , , , and . ASE, page 1149-1161. IEEE, (2023)

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

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules., , , , , , , , and . CoRR, (2019)An empirical study of GUI widget detection for industrial mobile games., , , , , , , and . ESEC/SIGSOFT FSE, page 1427-1437. ACM, (2021)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , and . ASE, page 1149-1161. IEEE, (2023)Towards Automated Generation of Bug Benchmark for Smart Contracts., , , , and . ICST Workshops, page 184-187. IEEE, (2019)Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts., , , , , and . ASE, page 1029-1040. IEEE, (2020)Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts., , , , and . ICSE (Companion Volume), page 274-275. ACM, (2020)Widget Detection-based Testing for Industrial Mobile Games., , , , , , , and . ICSE-SEIP, page 173-184. IEEE, (2023)A Software Analysis Based Vulnerability Detection System For Smart Contracts., , , and . Integrating Research and Practice in Software Engineering, volume 851 of Studies in Computational Intelligence, Springer, (2020)