Login / Signup
Vaibhav Sharma
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Monitoring System
Semi Automatic
Symbolic Execution
Code Coverage
Top Venues
CAV (1)
AST
</>
Publications
</>
Soha Hussein
,
Stephen McCamant
,
Elena Sherman
,
Vaibhav Sharma
,
Mike Whalen
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
AST
(2023)
Andrew Apicelli
,
Sam Bayless
,
Ankush Das
,
Andrew Gacek
,
Dhiva Jaganathan
,
Saswat Padhi
,
Vaibhav Sharma
,
Michael W. Whalen
,
Raveesh Yadav
Automated Analyses of IOT Event Monitoring Systems.
CAV (1)
(2023)