Vaibhav Sharma

19 papers A* 2A 2C 1Journal 5Unranked 9

Year	Rank	Type	Title / 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