Thuan Pham

AFLNET: A Greybox Fuzzer for Network Protocols

VT Pham, M Bohme, A Roychoudhury

Conference Proceedings  |  2020  |  2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)

Server fuzzing is difficult. Unlike simple command-line tools, servers feature a massive state space that can be traversed effecti..

Human-In-The-Loop Automatic Program Repair

M Bohme, C Geethal, VT Pham

Conference Proceedings  |  2020  |  2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)

We introduce LEARN2FIX, the first human-in-the-loop, semi-automatic repair technique when no bug oracle-except for the user who is..

Coverage-Based Greybox Fuzzing as Markov Chain

Marcel Bohme, Pham Van-Thuan, Abhik Roychoudhury

Journal article  |  2019  |  IEEE Transactions on Software Engineering

Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no program analysis. A new test is generated by sl..

Smart Greybox Fuzzing

VT Pham, M Boehme, AE Santosa, AR Caciulescu, A Roychoudhury

Journal article  |  2019  |  IEEE Transactions on Software Engineering

Coverage-based greybox fuzzing (CGF) is one of the most successful approaches for automated vulnerability detection. Given a seed ..

Bucketing Failing Tests via Symbolic Analysis

Pham Van-Thuan, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Directed Greybox Fuzzing

Marcel Bohme, Pham Van-Thuan, Nguyen Manh-Dung, Abhik Roychoudhury

Conference Proceedings  |  2017  |  Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security

Coverage-based Greybox Fuzzing as Markov chain

M Böhme, VT Pham, A Roychoudhury

Conference Proceedings  |  2016  |  Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Model-Based Whitebox Fuzzing for Program Binaries

Pham Van-Thuan, Marcel Bohme, Abhik Roychoudhury

Conference Proceedings  |  2016  |  Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

Hercules: Reproducing Crashes in Real-World Application Binaries

Pham Van-Thuan, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury

Conference Proceedings  |  2015  |  2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

Integrated Timing Analysis of Application and Operating Systems Code

Lee Kee Chong, Clement Ballabriga, Pham Van-Thuan, Sudipta Chattopadhyay, Abhik Roychoudhury

Conference Proceedings  |  2013  |  2013 IEEE 34th Real-Time Systems Symposium