Author of the publication

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.

, , , , , , , , and . IEEE Trans. Software Eng., 49 (11): 4964-4987 (November 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

Multiscale simulation scheme by using a finite-difference derivative framework for lubrication surface., , and . Comput. Math. Appl., (February 2024)Corrections to Üncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"., , , , , , , , and . IEEE Trans. Software Eng., 50 (1): 158 (January 2024)Diffusion Model-based Probabilistic Downscaling for 180-year East Asian Climate Reconstruction., , , , , , , , and . CoRR, (2024)A Wireless Power Design with High PCE and Fast Transient Response over a Large Loading Range for Multi-channel Neural Stimulators., , , , , and . APCCAS, page 128-133. IEEE, (2022)A Survey on Long Video Generation: Challenges, Methods, and Prospects., , , , , and . CoRR, (2024)The block diagram method for designing the particle swarm optimization algorithm., , and . J. Glob. Optim., 52 (4): 689-710 (2012)Interaction Control for Tool Manipulation on Deformable Objects Using Tactile Feedback., , , , , and . IEEE Robotics Autom. Lett., 8 (5): 2700-2707 (May 2023)Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving., , , , , , , , and . IEEE Trans. Software Eng., 49 (11): 4964-4987 (November 2023)A Deep Learning Based End-to-End Locomotion Mode Detection Method for Lower Limb Wearable Robot Control., , and . IROS, page 4091-4097. IEEE, (2020)A Fast Bioimpedance Measurement Chip Design Using Dynamic Current., , , , , and . ICTA, page 168-169. IEEE, (2023)