Author of the publication

Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.

, , , , , , and . ICSE, page 462-473. ACM, (2022)

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

Privacy-Preserving Verification and Root-Cause Tracing Towards UAV Social Networks., , , , , and . ICC, page 1-6. IEEE, (2019)Measurement on the border effect of transboundary water resources: A case study of China's Zhanghe basin., , , and . SMC, page 1928-1934. IEEE, (2014)Two-Layer Storage Scheme and Repair Method of Failure Data in Wireless Sensor Networks., , , , and . IJDSN, (2012)Analysis on Variation and Factors of Water Resources Consumption Intensity in China., , and . Modeling Risk Management for Resources and Environment in China, Springer, (2011)Building a Secure Scheme for a Trusted Hardware Sharing Environment., , , , , and . IEEE Access, (2017)Fast and Secure Location-Based Services in Smart Cities on Outsourced Data., , , , , and . IEEE Internet Things J., 8 (24): 17639-17654 (2021)ZAMA: A ZKP-Based Anonymous Mutual Authentication Scheme for the IoV., , , and . IEEE Internet Things J., 9 (22): 22903-22913 (2022)Smart Applications in Edge Computing: Overview on Authentication and Data Security., , , , and . IEEE Internet Things J., 8 (6): 4063-4080 (2021)Practical Secret Sharing Scheme Realizing Generalized Adversary Structure., and . J. Comput. Sci. Technol., 19 (4): 564-569 (2004)Gradient Leakage Defense with Key-Lock Module for Federated Learning., , , , and . CoRR, (2023)