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

Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers., , , , and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 216-225. Springer, (2005)Scheduling Convex Bipartite Communications Toward Efficient GEN_BLOCK Transformations., , , , and . ISPA, volume 3758 of Lecture Notes in Computer Science, page 419-424. Springer, (2005)Poster: Efficient Power Control Based on Interference Range in Wireless Ad Hoc Networks., , and . EWSN, page 265-266. Junction Publishing, Canada / ACM, (2016)Correctional DP-Based Energy Management Strategy of Plug-In Hybrid Electric Bus for City-Bus Route., , , , and . IEEE Trans. Vehicular Technology, 64 (7): 2792-2803 (2015)Finite-time synchronization of coupled time-delayed neural networks with discontinuous activations., and . Neurocomputing, (2017)A Fast Sparse Triangular Solver for Structured-grid Problems on Sunway Many-core Processor SW26010., , , , , , , , and . ICPP, page 53:1-53:11. ACM, (2018)Hanano Puzzle is NP-hard., and . Inf. Process. Lett., (2019)Multi-Sensor Kalman Filtering With Intermittent Measurements., , , , , and . IEEE Trans. Automat. Contr., 63 (3): 797-804 (2018)Sensor scheduling for lifetime maximization in centralized state estimation., , , and . Neurocomputing, (2017)Enabling Highly Efficient k-Means Computations on the SW26010 Many-Core Processor of Sunway TaihuLight., , , , , and . J. Comput. Sci. Technol., 34 (1): 77-93 (2019)