Contact
- email:
962388564@qq.com
About me
I am currently a master student in the group.
Education
- Sept. 2021 – present: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2017 – Jun. 2021: Computer Science and Technology (Bachelor’s degree) at Shenzhen University
Publications
- : ISS-Scenario: Scenario-based Testing in CARLA. In Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, volume 14777 of Lecture Notes in Computer Science, pages 279-286, 2024. DOI BIB
- : QuantiVA: Quantitative Verification of Autonomous Driving. In Research Directions: Cyber-Physical Systems:1-16, 2024. DOI