default search action
Abhik Roychoudhury
Person information
- affiliation: National University of Singapore
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j48]Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury:
ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. 1(FSE): 226-248 (2024) - [c155]Dylan Wolff, Zheng Shi, Gregory J. Duck, Umang Mathur, Abhik Roychoudhury:
Greybox Fuzzing for Concurrency Testing. ASPLOS (2) 2024: 482-498 - [c154]Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury:
Program Repair Competition 2024. APR 2024: 46-49 - [c153]Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury:
Evolutionary Testing for Program Repair. ICST 2024: 105-116 - [c152]Abhik Roychoudhury:
Program Repair and Trusted Automatic Programming. ISEC 2024: 2:1 - [c151]Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury:
Oracle-Guided Program Selection from Large Language Models. ISSTA 2024: 628-640 - [c150]Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury:
AutoCodeRover: Autonomous Program Improvement. ISSTA 2024: 1592-1604 - [c149]Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury:
Large Language Model guided Protocol Fuzzing. NDSS 2024 - [i34]Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury:
AutoCodeRover: Autonomous Program Improvement. CoRR abs/2404.05427 (2024) - [i33]Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury:
Program Environment Fuzzing. CoRR abs/2404.13951 (2024) - [i32]Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam:
Automatic Programming: Large Language Models and Beyond. CoRR abs/2405.02213 (2024) - [i31]Sung Yong Kim, Zhiyu Fan, Yannic Noller, Abhik Roychoudhury:
Codexity: Secure AI-assisted Code Generation. CoRR abs/2405.03927 (2024) - [i30]Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury:
SpecRover: Code Intent Extraction via LLMs. CoRR abs/2408.02232 (2024) - [i29]Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury:
Assured Automatic Programming via Large Language Models. CoRR abs/2410.18494 (2024) - [i28]Peisen Lin, Yuntong Zhang, Andreea Costea, Abhik Roychoudhury:
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code. CoRR abs/2410.18703 (2024) - 2023
- [j47]Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey:
Hippodrome: Data Race Repair Using Static Analysis Summaries. ACM Trans. Softw. Eng. Methodol. 32(2): 41:1-41:33 (2023) - [c148]Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey:
Greybox Fuzzing of Distributed Systems. CCS 2023: 1615-1629 - [c147]Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury:
Efficient SMT-Based Network Fault Tolerance Verification. FM 2023: 92-100 - [c146]Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury:
Cerberus: a Program Repair Framework. ICSE Companion 2023: 73-77 - [c145]Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan:
Automated Repair of Programs from Large Language Models. ICSE 2023: 1469-1481 - [c144]Ridwan Shariffdeen, Martin Mirchev, Abhik Roychoudhury:
Program Repair Competition. APR@ICSE 2023: 19-20 - [c143]Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury:
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA 2023: 199-210 - [c142]Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury:
Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE 2023: 1216-1228 - [c141]Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun:
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium 2023: 4481-4498 - [e8]Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari, Lov Kumar:
16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM 2023, ISBN 979-8-4007-0064-4 [contents] - [i27]Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey:
Distributed System Fuzzing. CoRR abs/2305.02601 (2023) - [i26]Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury:
Patch Space Exploration using Static Analysis Feedback. CoRR abs/2308.00294 (2023) - [i25]Yuntong Zhang, Ridwan Shariffdeen, Gregory J. Duck, Jiaqi Tan, Abhik Roychoudhury:
Program Repair by Fuzzing over Patch and Input Space. CoRR abs/2308.00666 (2023) - [i24]Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury:
Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching. CoRR abs/2310.05472 (2023) - 2022
- [j46]Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury:
Verifix: Verified Repair of Programming Assignments. ACM Trans. Softw. Eng. Methodol. 31(4): 74:1-74:31 (2022) - [c140]Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury:
Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE 2022: 9-16 - [c139]Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury:
Linear-time Temporal Logic guided Greybox Fuzzing. ICSE 2022: 1343-1355 - [c138]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Trust Enhancement Issues in Program Repair. ICSE 2022: 2228-2240 - [c137]Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Program vulnerability repair via inductive inference. ISSTA 2022: 691-702 - [c136]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Efficient Greybox Fuzzing to Detect Memory Errors. ASE 2022: 37:1-37:12 - [c135]Kaihang Ji, Jun Zeng, Yuancheng Jiang, Zhenkai Liang, Zheng Leong Chua, Prateek Saxena, Abhik Roychoudhury:
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation. USENIX Security Symposium 2022: 2567-2584 - [c134]Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury:
Stateful Greybox Fuzzing. USENIX Security Symposium 2022: 3255-3272 - [e7]Abhik Roychoudhury, Cristian Cadar, Miryung Kim:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. ACM 2022, ISBN 978-1-4503-9413-0 [contents] - [d2]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Replication Package for "Trust Enhancement Issues in Program Repair". Zenodo, 2022 - [d1]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
Replication Package for "Trust Enhancement Issues in Program Repair". Zenodo, 2022 - [i23]Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury:
Stateful Greybox Fuzzing. CoRR abs/2204.02545 (2022) - [i22]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Fast Fuzzing for Memory Errors. CoRR abs/2204.02773 (2022) - [i21]Zhiyu Fan, Xiang Gao, Abhik Roychoudhury, Shin Hwei Tan:
Improving automatically generated code from Codex via Automated Program Repair. CoRR abs/2205.10583 (2022) - [i20]Xiang Gao, Yannic Noller, Abhik Roychoudhury:
Program Repair. CoRR abs/2211.12787 (2022) - [i19]Dylan Wolff, Marcel Böhme, Abhik Roychoudhury:
Explainable Fuzzer Evaluation. CoRR abs/2212.09519 (2022) - 2021
- [j45]Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury:
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j44]Marcel Böhme, Cristian Cadar, Abhik Roychoudhury:
Fuzzing: Challenges and Reflections. IEEE Softw. 38(3): 79-86 (2021) - [j43]Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra:
Automatic Program Repair. IEEE Softw. 38(4): 22-27 (2021) - [j42]Ridwan Salihin Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury:
Automated Patch Transplantation. ACM Trans. Softw. Eng. Methodol. 30(1): 6:1-6:36 (2021) - [j41]Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury:
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30(2): 14:1-14:27 (2021) - [j40]Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury:
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47(9): 1980-1997 (2021) - [j39]Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury:
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. IEEE Trans. Software Eng. 47(11): 2504-2519 (2021) - [c133]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS 2021: 537-549 - [c132]Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury:
Automated patch backporting in Linux (experience paper). ISSTA 2021: 633-645 - [c131]Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. ASE 2021: 1247-1251 - [c130]Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Concolic program repair. PLDI 2021: 390-405 - [c129]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury:
Flaky test detection in Android via event order exploration. ESEC/SIGSOFT FSE 2021: 367-378 - [i18]Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury:
Verifix: Verified Repair of Programming Assignments. CoRR abs/2106.16199 (2021) - [i17]Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey:
HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR abs/2108.02490 (2021) - [i16]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools. CoRR abs/2108.13064 (2021) - [i15]Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury:
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. CoRR abs/2109.02312 (2021) - 2020
- [j38]Sue Moon, Ann E. Nicholson, Abhik Roychoudhury:
Welcome. Commun. ACM 63(4): 44-46 (2020) - [j37]Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury:
Singapore's cybersecurity ecosystem. Commun. ACM 63(4): 55-57 (2020) - [j36]Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury:
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 29(3): 14:1-14:31 (2020) - [j35]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury:
Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 29(4): 27:1-27:32 (2020) - [c128]Xiang Gao, Abhik Roychoudhury:
Interactive Patch Generation and Suggestion. ICSE (Workshops) 2020: 17-18 - [c127]Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury:
Time-travel testing of Android apps. ICSE 2020: 481-492 - [c126]Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury:
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) 2020: 513-520 - [c125]Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury:
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE 2020: 1147-1158 - [c124]Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNET: A Greybox Fuzzer for Network Protocols. ICST 2020: 460-465 - [c123]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. NeurIPS 2020 - [c122]Gregory J. Duck, Xiang Gao, Abhik Roychoudhury:
Binary rewriting without control flow recovery. PLDI 2020: 151-163 - [c121]Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium 2020: 523-540 - [i14]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury:
Concurrency-related Flaky Test Detection in Android apps. CoRR abs/2005.10762 (2020) - [i13]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913 (2020) - [i12]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Patch Points From One Exploit. CoRR abs/2008.04516 (2020) - [i11]Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury:
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR abs/2011.11001 (2020)
2010 – 2019
- 2019
- [j34]Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated program repair. Commun. ACM 62(12): 56-65 (2019) - [j33]Abhik Roychoudhury, Yingfei Xiong:
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62(10): 200103:1-200103:3 (2019) - [j32]Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury:
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45(5): 489-506 (2019) - [c120]Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury:
Crash-avoiding program repair. ISSTA 2019: 8-18 - [c119]Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury:
Re-Factoring Based Program Repair Applied to Programming Assignments. ASE 2019: 388-398 - [c118]Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS 2019 - [i10]Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury:
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. CoRR abs/1909.00647 (2019) - [i9]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury:
Smart Contract Repair. CoRR abs/1912.05823 (2019) - [i8]Marcel Böhme, Cristian Cadar, Abhik Roychoudhury:
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j31]Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury:
A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. 23(5): 2948-2979 (2018) - [j30]Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-Channel Freedom. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2812-2823 (2018) - [j29]Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury:
Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. 27(4): 15:1-15:37 (2018) - [j28]Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury:
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. IEEE Trans. Software Eng. 44(5): 470-490 (2018) - [c117]Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury:
A correlation study between automated program repair and test-suite metrics. ICSE 2018: 24 - [c116]Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Semantic program repair using a reference implementation. ICSE 2018: 129-139 - [c115]Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury:
Repairing crashes in Android apps. ICSE 2018: 187-198 - [c114]Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury:
Android testing via synthetic symbolic execution. ASE 2018: 419-429 - [c113]Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [i7]Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR abs/1807.00477 (2018) - [i6]Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR abs/1807.00575 (2018) - [i5]Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-channel Freedom. CoRR abs/1807.04701 (2018) - [i4]Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury:
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. CoRR abs/1807.05843 (2018) - [i3]Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury:
Smart Greybox Fuzzing. CoRR abs/1811.09447 (2018) - 2017
- [c112]Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury:
Directed Greybox Fuzzing. CCS 2017: 2329-2344 - [c111]Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury:
Bucketing Failing Tests via Symbolic Analysis. FASE 2017: 43-59 - [c110]Abhijeet Banerjee, Abhik Roychoudhury:
Future of Mobile Software for Smartphones and Drones: Energy and Performance. MOBILESoft@ICSE 2017: 1-12 - [c109]Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury:
Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) 2017: 180-182 - [c108]Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury:
A feasibility study of using automated program repair for introductory programming assignments. ESEC/SIGSOFT FSE 2017: 740-751 - [c107]Abhik Roychoudhury:
Trustworthy Software and Automatic Program Repair. SoICT 2017: 3 - [e6]Abhik Roychoudhury, Yang Liu:
A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017. Cryptology and Information Security Series 15, IOS Press 2017, ISBN 978-1-61499-743-6 [contents] - [i2]Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury:
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR abs/1707.03139 (2017) - [i1]Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7(1): 19-31 (2017) - 2016
- [j27]Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
On Testing Embedded Software. Adv. Comput. 101: 121-153 (2016) - [j26]Abhik Roychoudhury, Satish Chandra:
Formula-based software debugging. Commun. ACM 59(7): 68-77 (2016) - [c106]Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury:
Coverage-based Greybox Fuzzing as Markov Chain. CCS 2016: 1032-1043 - [c105]Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury:
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft 2016: 127-138 - [c104]Abhijeet Banerjee, Abhik Roychoudhury:
Automated re-factoring of Android apps to enhance energy-efficiency. MOBILESoft 2016: 139-150 - [c103]Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury:
Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE 2016: 691-701 - [c102]Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury:
Automated partitioning of android applications for trusted execution environments. ICSE 2016: 923-934 - [c101]