Login / Signup
Surdeep Chotaliya
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Search Algorithm
Petri Net
Test Generation
Top Venues
CoRR
</>
Publications
</>
Giulia Pedrielli
,
Tanmay Khandait
,
Surdeep Chotaliya
,
Quinn Thibeault
,
Hao Huang
,
Mauricio Castillo-Effen
,
Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR
(2021)