Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbhik 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
- 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)- [c146]Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury:
Efficient SMT-Based Network Fault Tolerance Verification. FM 2023: 92-100 - [c145]Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury:
Cerberus: a Program Repair Framework. ICSE Companion 2023: 73-77 - [c144]Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan:
Automated Repair of Programs from Large Language Models. ICSE 2023: 1469-1481 - [c143]Ridwan Shariffdeen, Martin Mirchev, Abhik Roychoudhury:
Program Repair Competition. APR@ICSE 2023: 19-20 - [c142]Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury:
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA 2023: 199-210 - [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 - [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] - [i26]Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey:
Distributed System Fuzzing. CoRR abs/2305.02601 (2023) - [i25]Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury:
Patch Space Exploration using Static Analysis Feedback. CoRR abs/2308.00294 (2023) - [i24]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) - 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] - [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]Abhik Roychoudhury:
SemFix and beyond: semantic techniques for program repair. ForMABS@ASE 2016: 2 - [c100]Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
Model-based whitebox fuzzing for program binaries. ASE 2016: 543-553 - [c99]Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury:
Anti-patterns in search-based program repair. SIGSOFT FSE 2016: 727-738 - [e5]Andreas Zeller, Abhik Roychoudhury:
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9 [contents] - [e4]Aditya Mathur, Abhik Roychoudhury:
Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016. Cryptology and Information Security Series 14, IOS Press 2016, ISBN 978-1-61499-616-3 [contents] - 2015
- [j25]Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Software Change Contracts. ACM Trans. Softw. Eng. Methodol. 24(3): 18:1-18:43 (2015) - [c98]Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury:
DirectFix: Looking for Simple Program Repairs. ICSE (1) 2015: 448-458 - [c97]Shin Hwei Tan, Abhik Roychoudhury:
relifix: Automated Repair of Software Regressions. ICSE (1) 2015: 471-482 - [c96]Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury:
Hercules: Reproducing Crashes in Real-World Application Binaries. ICSE (1) 2015: 891-901 - 2014
- [j24]Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng:
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. 8(3-4): 199-356 (2014) - [j23]Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury:
Static analysis of multi-core TDMA resource arbitration delays. Real Time Syst. 50(2): 185-229 (2014) - [j22]Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk:
A Unified WCET analysis framework for multicore platforms. ACM Trans. Embed. Comput. Syst. 13(4s): 124:1-124:29 (2014) - [j21]Sudipta Chattopadhyay, Abhik Roychoudhury:
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. ACM Trans. Embed. Comput. Syst. 13(5s): 147:1-147:29 (2014) - [c95]Tien-Duy B. Le, Jooyong Yi, David Lo, Ferdian Thung, Abhik Roychoudhury:
Dynamic Inference of Change Contracts. ICSME 2014: 451-455 - [c94]Marcel Böhme, Abhik Roychoudhury:
CoREBench: studying complexity of regression errors. ISSTA 2014: 105-115 - [c93]Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury:
Cache-related preemption delay analysis for FIFO caches. LCTES 2014: 33-42 - [c92]Abhijeet Banerjee, Abhik Roychoudhury:
Energy-aware design patterns for mobile application development (invited talk). DeMobile@SIGSOFT FSE 2014: 15-16 - [c91]Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury:
Detecting energy bugs and hotspots in mobile apps. SIGSOFT FSE 2014: 588-598 - 2013
- [j20]Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira:
Regression Testing of Evolving Programs. Adv. Comput. 89: 53-88 (2013) - [j19]Sudipta Chattopadhyay, Abhik Roychoudhury:
Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real Time Syst. 49(4): 517-562 (2013) - [j18]Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury:
Path exploration based on symbolic output. ACM Trans. Softw. Eng. Methodol. 22(4): 32:1-32:41 (2013) - [c90]Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury:
Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD 2013: 133-144 - [c89]Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury:
Partition-based regression verification. ICSE 2013: 302-311 - [c88]Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra:
SemFix: program repair via semantic analysis. ICSE 2013: 772-781 - [c87]Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Expressing and checking intended changes via software change contracts. ISSTA 2013: 1-11 - [c86]Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury:
Program performance spectrum. LCTES 2013: 65-76 - [c85]Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
Precise micro-architectural modeling for WCET analysis via AI+SAT. IEEE Real-Time and Embedded Technology and Applications Symposium