Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Youcheng Sun
conf.researchr.org general profile
ASE 2024 profile
FSE 2025 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ISSTA 2025 profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2024 profile
Requirements Engineering 2025 profile
Registered user since Tue 3 Mar 2020
Name:
Youcheng Sun
Country:
United Arab Emirates
Affiliation:
MBZUAI
Contributions
2025
Requirements Engineering
Author of ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation within the RE@Next! Papers-track
ISSTA
Committee Member in Program Committee within the Research Papers-track
2030 Software Engineering
Committee Member in Program Committee within the 2030 Software Engineering-track
2024
ASE
Author of FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection within the Research Papers-track
ISSTA
Author of Isolation-Based Debugging for Neural Networks within the Technical Papers-track
Author of Interpretability Based Neural Network Repair within the Technical Papers-track
ECOOP/ISSTA
Author of ESBMC-Python: A Bounded Model Checker for Python Programs within the Tool Demonstrations-track
NFM
Committee Member in Program Committee within the NFM 2024-track
ICSE
Author of VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks within the Research Track-track
Author of VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks within the Artifact Evaluation-track
KLEE
Author of Exploring Complexity Estimation with Symbolic Execution and Large Language Models within the KLEE 2024-track
2023
ICSE
Author of DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models within the DEMO - Demonstrations-track
Author of AIREPAIR: A Repair Platform for Neural Networks within the DEMO - Demonstrations-track
Session Chair of Software verification (part of Technical Track)
2022
ICSE
Author of Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning within the Technical Track-track
2021
ICSE
Author of RobOT: Robustness-Oriented Testing for Deep Learning Systems within the Technical Track-track
Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
2020
ICSE
Author of HyDiff: Hybrid Differential Software Analysis within the Technical Papers-track
Share
x
Mon 27 Oct 19:09
