Search filters

List of works by Shin Hwei Tan

A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing

scientific article published on 30 November 2023

Automated conformance testing for JavaScript engines via deep compiler fuzzing

scientific article published on 24 June 2021

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks

scientific article published on 11 September 2024

Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction

scientific article published on 12 April 2024

LPR: Large Language Models-Aided Program Reduction

scientific article published on 11 September 2024

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability

scientific article published on 06 June 2023

Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations

scientific article published on 30 November 2023

Towards Automated Detection of Unethical Behavior in Open-Source Software Projects

scientific article published on 30 November 2023

UPBEAT: Test Input Checks of Q# Quantum Libraries

scientific article published on 11 September 2024

Understanding and Detecting Annotation-Induced Faults of Static Analyzers

scientific article published on 12 July 2024

Paulina is supported by:

About Paulina

Help