Vaibhav Sharma

According to our database, Vaibhav Sharma authored at least 15 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution).

Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Automated Analyses of IOT Event Monitoring Systems.

Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.

Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022

Counterexample-Guided Inductive Repair of Reactive Contracts.

Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Finding Substitutable Binary Code By Synthesizing Adapters.

Vaibhav Sharma, Kesha Hietala, Stephen McCamant

IEEE Trans. Software Eng., 2021

2020

Java Ranger at SV-COMP 2020 (Competition Contribution).

Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Java Ranger: statically summarizing regions for efficient symbolic execution of Java.

Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Automatically Repairing Binary Programs Using Adapter Synthesis.

Vaibhav Sharma

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Input Prioritization for Testing Neural Networks.

Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Contract discovery from black-box components.

Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters.

Vaibhav Sharma, Kesha Hietala, Stephen McCamant

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

Veritesting Challenges in Symbolic Execution of Java.

Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser

ACM SIGSOFT Softw. Eng. Notes, 2017

Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors.

Vaibhav Sharma, Kesha Hietala, Stephen McCamant

CoRR, 2017

User authentication and identification from user interface interactions on touch-enabled devices.

Vaibhav Sharma, Richard J. Enbody

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

Toward Rigorous Object-Code Coverage Criteria.

Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017