Login / Signup
Hao Huang
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Test Generation
Exhaustive Search
Probabilistic Model
Top Venues
IEEE Trans Autom. Sci. Eng.
</>
Publications
</>
Giulia Pedrielli
,
Tanmay Khandait
,
Yumeng Cao
,
Quinn Thibeault
,
Hao Huang
,
Mauricio Castillo-Effen
,
Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.
IEEE Trans Autom. Sci. Eng.
21 (3) (2024)