Vaibhav Sharma

19 papers A* 2A 2C 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2023 — conf
Automated Analyses of IOT Event Monitoring Systems.
CAV (1)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
2023 — conf
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution).
TACAS (2)
Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen
2023 — conf
State Merging with Quantifiers in Symbolic Execution.
ESEC/SIGSOFT FSE
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
2023 J jnl
State Merging with Quantifiers in Symbolic Execution.
CoRR
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
2023 C conf
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
AST
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
2022 — conf
Counterexample-Guided Inductive Repair of Reactive Contracts.
FormaliSE@ICSE
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
2021 A* conf
Counterexample Guided Inductive Repair of Reactive Contracts.
ASE
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2021 J jnl
Finding Substitutable Binary Code By Synthesizing Adapters.
IEEE Trans. Software Eng.
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
2020 — conf
Java Ranger at SV-COMP 2020 (Competition Contribution).
TACAS (2)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
2020 — conf
Java Ranger: statically summarizing regions for efficient symbolic execution of Java.
ESEC/SIGSOFT FSE
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
2019 A* conf
Automatically Repairing Binary Programs Using Adapter Synthesis.
ASE
Vaibhav Sharma
2019 — conf
Input Prioritization for Testing Neural Networks.
AITest
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2019 J jnl
Input Prioritization for Testing Neural Networks.
CoRR
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
2018 — conf
Contract discovery from black-box components.
WASPI@ESEC/SIGSOFT FSE
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
2018 A conf
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters.
ICST
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
2017 J jnl
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors.
CoRR
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
2017 A conf
Toward Rigorous Object-Code Coverage Criteria.
ISSRE
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
2017 — conf
User authentication and identification from user interface interactions on touch-enabled devices.
WISEC
Vaibhav Sharma, Richard J. Enbody
2017 J jnl
Veritesting Challenges in Symbolic Execution of Java.
ACM SIGSOFT Softw. Eng. Notes
Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser