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