BibTex Link to heading

@article{chen2023hypfuzz, title={{HyPFuzz: Formal-Assisted Processor Fuzzing}}, author={Chen, Chen and Kande, Rahul and Nyugen, Nathan and Andersen, Flemming and Tyagi, Aakash and Sadeghi, Ahmad-Reza and Rajendran, Jeyavijayan}, journal={arXiv preprint arXiv:2304.02485}, year={2023} }