Crash-avoiding program repair

由 Gao, Xiang, Mechtaev, Sergey, Roychoudhury, Abhik
出版 2019

Fuzzing: Challenges and Reflections

由 Boehme, M., Cadar, Cristian, Roychoudhury, Abhik
出版 2022

Trust Enhancement Issues in Program Repair

由 Noller, Yannic, Shariffdeen, Ridwan, Gao, Xiang, Roychoudhury, Abhik
出版 2023

Software change contracts

由 Yi, Jooyong, Qi, Dawei, Tan, Shinhwei, Roychoudhury, Abhik
出版 2016

Cerberus: a Program Repair Framework

由 Shariffdeen, Ridwan, Mirchev, Martin, Noller, Yannic, Roychoudhury, Abhik
出版 2023

Inferring Class Level Specifications for Distributed Systems

由 KUMAR, Sandeep, KHOO, Siau-Cheng, Roychoudhury, Abhik, LO, David
出版 2012

Mining Message Sequence Graphs

由 KUMAR, Sandeep, KHOO, Siau-Cheng, Roychoudhury, Abhik, LO, David
出版 2011

Concurrency-related Flaky Test Detection in Android apps.

由 Dong, Zhen, Tiwari, Abhishek, Yu, Xiao Liang, Roychoudhury, Abhik
出版 2023

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

由 Mechtaev, Sergey, Gao, Xiang, Tan, Shin Hwei, Roychoudhury, Abhik
出版 2023

Smart contract repair

由 YU, Xiao Liang, AL-BATAINEH, Omar, LO, David, ROYCHOUDHURY, Abhik
出版 2020

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

由 Wang, Guanhua, Chattopadhyay, Sudipta, Gotovchits, Ivan, Mitra, Tulika, Roychoudhury, Abhik
出版 2023

Linear-time Temporal Logic guided Greybox Fuzzing

由 Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik
出版 2023

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

由 Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
出版 2019

Localizing Patch Points From One Exploit.

由 Shen, Shiqi, Kolluri, Aashish, Dong, Zhen, Saxena, Prateek, Roychoudhury, Abhik
出版 2023

Smart Contract Repair

由 Yu, Xiao Liang, Al-Bataineh, Omar, Lo, David, Roychoudhury, Abhik
出版 2023

Fair model checking with process counter abstraction

由 SUN, Jun, LIU, Yang, ROYCHOUDHURY, Abhik, LIU, Shanshan, DONG, Jin Song
出版 2009

Automated Repair of Programs from Large Language Models

由 Fan, Zhiyu, Gao, Xiang, Mirchev, Martin, Roychoudhury, Abhik, Tan, Shin Hwei
出版 2023

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

由 Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik
出版 2020

Dynamic Inference of Change Contracts

由 LE, Tien-Duy B., Yi, Jooyong, LO, David, THUNG, Ferdian, Roychoudhury, Abhik
出版 2014

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

由 Shinde, Shweta, Wang, Shengyi, Yuan, Pinghai, Hobor, Aquinas, Roychoudhury, Abhik, Saxena, Prateek
出版 2023