Toward Rigorous Object-Code Coverage Criteria. - Taejoon Byun; Vaibhav Sharma 001; Sanjai Rayadurgam; Stephen McCamant; Mats Per Erik Heimdahl (ISSRE, 2017)

User authentication and identification from user interface interactions on touch-enabled devices. - Vaibhav Sharma 001; Richard J. Enbody (WISEC, 2017)

Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (CoRR, 2017)

Veritesting Challenges in Symbolic Execution of Java. - Vaibhav Sharma 001; Michael W. Whalen; Stephen McCamant; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2017)

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (ICST, 2018)

Contract discovery from black-box components. - Vaibhav Sharma 001; Taejoon Byun; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (WASPI@ESEC/SIGSOFT FSE, 2018)

Input Prioritization for Testing Neural Networks. - Taejoon Byun; Vaibhav Sharma 001; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2019)

Automatically Repairing Binary Programs Using Adapter Synthesis. - Vaibhav Sharma 001 (ASE, 2019)

Java Ranger: statically summarizing regions for efficient symbolic execution of Java. - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (ESEC/SIGSOFT FSE, 2020)

Java Ranger at SV-COMP 2020 (Competition Contribution). - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (TACAS (2), 2020)

Counterexample Guided Inductive Repair of Reactive Contracts. - Soha Hussein; Vaibhav Sharma 001; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ASE, 2021)

Finding Substitutable Binary Code By Synthesizing Adapters. - Vaibhav Sharma 001; Kesha Hietala; Stephen McCamant (IEEE Trans. Software Eng., 2021)

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. - Soha Hussein; Stephen McCamant; Elena Sherman; Vaibhav Sharma 001; Mike Whalen (AST, 2023)

Automated Analyses of IOT Event Monitoring Systems. - Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma 001; Michael W. Whalen; Raveesh Yadav (CAV (1), 2023)

State Merging with Quantifiers in Symbolic Execution. - David Trabish; Noam Rinetzky; Sharon Shoham; Vaibhav Sharma 001 (ESEC/SIGSOFT FSE, 2023)

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). - Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma 001; Michael W. Whalen (TACAS (2), 2023)