E-LIB Suche - Ergebnisse für: Tu, Haoxin

1

Beyond a Joke: Dead Code Elimination Can Delete Live Code:

, In: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results,

Tu, Haoxin ; Jiang, Lingxiao ; Gao, Debin. - p. 32-36 , 2024

Link: https://dl.acm.org/doi/1..

2

Concretely Mapped Symbolic Memory Locations for Memory Erro..:

Tu, Haoxin ; Jiang, Lingxiao ; Hong, Jiaqi..
IEEE Transactions on Software Engineering. 50 (2024) 7 - p. 1747-1767 , 2024

Link: https://doi.org/10.1109/..

3

Isolating Compiler Bugs by Generating Effective Witness Pro..:

Tu, Haoxin ; Zhou, Zhide ; Jiang, He...
IEEE Transactions on Software Engineering. 50 (2024) 7 - p. 1768-1788 , 2024

Link: https://doi.org/10.1109/..

4

PRI: PCH-based privacy-preserving with reusability and inte..:

Li, Yuxian ; Weng, Jian ; Wu, Wei...
Journal of Parallel and Distributed Computing. 180 (2023) - p. 104721 , 2023

Link: https://doi.org/10.1016/..

5

KRover: A Symbolic Execution Engine for Dynamic Kernel Anal..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Pitigalaarachchi, Pansilu ; Ding, Xuhua ; Qiu, Haiqing... - p. 2009-2023 , 2023

Link: https://dl.acm.org/doi/1..

6

Detecting C++ Compiler Front-End Bugs via Grammar Mutation ..:

Tu, Haoxin ; Jiang, He ; Zhou, Zhide...
IEEE Transactions on Reliability. 72 (2023) 1 - p. 343-357 , 2023

Link: https://doi.org/10.1109/..

7

Boosting Symbolic Execution for Heap-based Vulnerability De..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Tu, Haoxin - p. 218-220 , 2023

Link: https://doi.org/10.1109/..

8

FastKLEE: faster symbolic execution via reducing redundant ..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Tu, Haoxin ; Jiang, Lingxiao ; Ding, Xuhua. - p. 1741-1745 , 2022

Link: https://dl.acm.org/doi/1..

9

Remgen: Remanufacturing a Random Program Generator for Comp..:

, In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE),

Tu, Haoxin ; Jiang, He ; Li, Xiaochen... - p. 529-540 , 2022

Link: https://doi.org/10.1109/..

10

KRover: A symbolic execution engine for dynamic kernel anal..:

PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi ; DING, Xuhua ; QIU, Haiqing...
https://ink.library.smu.edu.sg/sis_research/8469. , 2023

Link: https://ink.library.smu...

11

LLM4CBI: Taming LLMs to Generate Effective Test Programs fo..:

Tu, Haoxin ; Zhou, Zhide ; Jiang, He...
http://arxiv.org/abs/2307.00593. , 2023

Link: http://arxiv.org/abs/230..

12

FastKLEE: faster symbolic execution via reducing redundant ..:

TU, Haoxin ; JIANG, Lingxiao ; DING, Xuhua.
https://ink.library.smu.edu.sg/sis_research/7710. , 2022

Link: https://ink.library.smu...

13

RemGen: remanufacturing a random program generator for comp..:

TU, Haoxin ; JIANG, He ; LI, Xiaochen..
https://ink.library.smu.edu.sg/sis_research/7711. , 2022

Link: https://ink.library.smu...

14

Detecting C++ compiler front-end bugs via grammar mutation ..:

TU, Haoxin ; JIANG, He ; ZHOU, Zhide...
https://ink.library.smu.edu.sg/sis_research/7170. , 2022

Link: https://ink.library.smu...

15

Data driven high quantum yield halide perovskite phosphors ..:

Mai, Haoxin ; Wen, Xiaoming ; Li, Xuying...
Materials Today. 74 (2024) - p. 12-21 , 2024

Link: https://doi.org/10.1016/..