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

Nutation Mode Suppression of Magnetically Levitated Turbo-Rotor via Damping Optimization., , , , and . IEEE Trans. Ind. Electron., 68 (12): 12607-12614 (2021)Multi-Harmonic Adaptive Notch Filter based on Double Input., , , , , , and . IECON, page 455-460. IEEE, (2019)Folded Transmitarray Antenna via Independent Amplitude/Phase Control With Low Side-Lobe for Millimeter-Wave Communication., , , , , , , and . IEEE Trans. Circuits Syst. II Express Briefs, 71 (4): 2004-2008 (April 2024)Corrections to Üncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"., , , , , , , , and . IEEE Trans. Software Eng., 50 (1): 158 (January 2024)Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support., , , , , and . ESEC/SIGSOFT FSE, page 670-681. ACM, (2023)Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces., , , , , , , and . ICSE, page 43-55. IEEE, (2023)Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs., , , , , and . ICSE, page 69-81. IEEE, (2023)SMT Solver Validation Empowered by Large Pre-Trained Language Models., , , , , and . ASE, page 1288-1300. IEEE, (2023)Sensorless Commutation Error Compensation of High Speed Brushless DC Motor Based on RBF Neural Network Method., , , and . IECON, page 683-688. IEEE, (2018)Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving., , , , , , , , and . IEEE Trans. Software Eng., 49 (11): 4964-4987 (November 2023)