SSBSE 2024
Mon 15 Jul 2024
Porto de Galinhas, Brazil, Brazil
co-located with
FSE 2024
Toggle navigation
Attending
Venue: Hotel Armação
SSBSE Registration
Program
SSBSE Program
Your Program
Mon 15 Jul
Tracks
SSBSE 2024
Research Papers
RENE/NIER
SSBSE Challenge
Hot off the Press
Keynote
Organization
SSBSE 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Organizing Committee
Program Committee
RENE/NIER
SSBSE Challenge
Hot off the Press
Contributors
People Index
Search
Series
Series
SSBSE 2024
SSBSE 2023
SSBSE 2022
SSBSE 2021
Sign in
Sign up
FSE 2024
(
series
) /
SSBSE 2024
(
series
) /
Dakai Zhu
FSE 2024 profile
conf.research.org general profile
Registered user since Thu 18 Apr 2024
Name:
Dakai Zhu
Affiliation:
The University of Texas at San Antonio
Contributions
2024
ESEC/FSE
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Show activities from other conferences
Share
FSE 2024-profile
View general profile
x
Sun 24 Nov 00:16