List of works - Yinxing Xue - Paulina

List of works by Yinxing Xue

A Survey on Automated Driving System Testing: Landscapes and Trends

scientific article published on 10 February 2023

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

scientific article published on 18 October 2024

Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation

scientific article published on 12 April 2024

Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation

scientific article published on 18 October 2024

sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts

scientific article published on 08 February 2024

Paulina is supported by:

About Paulina

Help