Fuzzing: Challenges and Reflections

by Boehme, M., Cadar, Cristian, Roychoudhury, Abhik
Published 2022

Crash-avoiding program repair

by Gao, Xiang, Mechtaev, Sergey, Roychoudhury, Abhik
Published 2019

Software change contracts

by Yi, Jooyong, Qi, Dawei, Tan, Shinhwei, Roychoudhury, Abhik
Published 2016

Trust Enhancement Issues in Program Repair

by Noller, Yannic, Shariffdeen, Ridwan, Gao, Xiang, Roychoudhury, Abhik
Published 2023

Cerberus: a Program Repair Framework

by Shariffdeen, Ridwan, Mirchev, Martin, Noller, Yannic, Roychoudhury, Abhik
Published 2023

Inferring Class Level Specifications for Distributed Systems

by KUMAR, Sandeep, KHOO, Siau-Cheng, Roychoudhury, Abhik, LO, David
Published 2012

Mining Message Sequence Graphs

by KUMAR, Sandeep, KHOO, Siau-Cheng, Roychoudhury, Abhik, LO, David
Published 2011

Concurrency-related Flaky Test Detection in Android apps.

by Dong, Zhen, Tiwari, Abhishek, Yu, Xiao Liang, Roychoudhury, Abhik
Published 2023

Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.

by Mechtaev, Sergey, Gao, Xiang, Tan, Shin Hwei, Roychoudhury, Abhik
Published 2023

Smart contract repair

by YU, Xiao Liang, AL-BATAINEH, Omar, LO, David, ROYCHOUDHURY, Abhik
Published 2020

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

by Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
Published 2019

Linear-time Temporal Logic guided Greybox Fuzzing

by Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik
Published 2023

Smart Contract Repair

by Yu, Xiao Liang, Al-Bataineh, Omar, Lo, David, Roychoudhury, Abhik
Published 2023

Localizing Patch Points From One Exploit.

by Shen, Shiqi, Kolluri, Aashish, Dong, Zhen, Saxena, Prateek, Roychoudhury, Abhik
Published 2023

oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.

by Wang, Guanhua, Chattopadhyay, Sudipta, Gotovchits, Ivan, Mitra, Tulika, Roychoudhury, Abhik
Published 2023

Fair model checking with process counter abstraction

by SUN, Jun, LIU, Yang, ROYCHOUDHURY, Abhik, LIU, Shanshan, DONG, Jin Song
Published 2009

KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.

by Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik
Published 2020

Automated Repair of Programs from Large Language Models

by Fan, Zhiyu, Gao, Xiang, Mirchev, Martin, Roychoudhury, Abhik, Tan, Shin Hwei
Published 2023

Dynamic Inference of Change Contracts

by LE, Tien-Duy B., Yi, Jooyong, LO, David, THUNG, Ferdian, Roychoudhury, Abhik
Published 2014

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

by Shinde, Shweta, Wang, Shengyi, Yuan, Pinghai, Hobor, Aquinas, Roychoudhury, Abhik, Saxena, Prateek
Published 2023