default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVaibhav Sharma 0001
Person information
- affiliation: University of Minnesota, Minneapolis, MN, USA
Other persons with the same name
- Vaibhav Sharma — disambiguation page
- Vaibhav Sharma 0002 — SGRR University Dehradun, India
- Vaibhav Sharma 0003 — National Sun Yat-sen University, Kaohsiung, Taiwan
- Vaibhav Sharma 0004 — Virginia Commonwealth University, Richmond, Virginia, USA
- Vaibhav Sharma 0005 — Microsoft
- Vaibhav Sharma 0006
![[0000-0002-8364-7656]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-8364-7656")
— Maulana Azad National Institute of Technology, Bhopal, India - Vaibhav Sharma 0007 — Indian Institute of Technology, Kanpur, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c14]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: 79-89- [c13]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: 27-39 - [c12]David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma:
State Merging with Quantifiers in Symbolic Execution. ESEC/SIGSOFT FSE 2023: 1140-1152 - [c11]Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen:
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) 2023: 553-558 - [i3]David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma:
State Merging with Quantifiers in Symbolic Execution. CoRR abs/2308.12068 (2023) - 2022
- [c10]Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl:
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE 2022: 46-57 - 2021
- [j2]Vaibhav Sharma, Kesha Hietala, Stephen McCamant:
Finding Substitutable Binary Code By Synthesizing Adapters. IEEE Trans. Software Eng. 47(8): 1626-1643 (2021) - [c9]Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. ASE 2021: 1190-1192 - 2020
- [c8]Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser:
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE 2020: 123-134 - [c7]Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser:
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) 2020: 393-397
2010 – 2019
- 2019
- [c6]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. AITest 2019: 63-70 - [c5]Vaibhav Sharma:
Automatically Repairing Binary Programs Using Adapter Synthesis. ASE 2019: 1238-1241 - [i2]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. CoRR abs/1901.03768 (2019) - 2018
- [c4]Vaibhav Sharma, Kesha Hietala, Stephen McCamant:
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. ICST 2018: 150-160 - [c3]Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE 2018: 5-8 - 2017
- [j1]Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser:
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c2]Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl:
Toward Rigorous Object-Code Coverage Criteria. ISSRE 2017: 328-338 - [c1]Vaibhav Sharma, Richard J. Enbody:
User authentication and identification from user interface interactions on touch-enabled devices. WISEC 2017: 1-11 - [i1]Vaibhav Sharma, Kesha Hietala, Stephen McCamant:
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. CoRR abs/1707.01536 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
