Publications

April, 2024 29th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
April, 2024 46th International Conference on Software Engineering (ICSE)
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
April, 2024 46th International Conference on Software Engineering (ICSE)
An Empirical Study of Data Disruption by Ransomware Attacks
December, 2023 ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Caching Schemes to Speed Up Program Reduction
PDF Cite Code DOI
December, 2023 ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)
PPR: Pairwise Program Reduction
PDF Code DOI
November, 2023 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
PDF Cite DOI
November, 2023 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Building Dynamic System Call Sandbox with Partial Order Analysis
PDF DOI
August, 2023 The 32nd International Joint Conference on Artificial Intelligence (IJCAI)
Revisiting the Evaluation of Deep Learning-Based Compiler Testing
PDF Cite Code DOI
June, 2023 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
CoopHance: Cooperative Enhancement for Robustness of Deep Learning System
May, 2023 ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE Tool)
Ad Hoc Syntax-Guided Program Reduction
PDF Code DOI
May, 2023 ACM Transactions on Software Engineering and Methodology (TOSEM)
Finding Deviated Behaviors of Compressed DNN Models for Image Classifications
PDF Cite Code DOI
March, 2023 28th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Compilation Consistency Modulo Debug Information
PDF Code DOI
June, 2022 ACM Transactions on Interactive Intelligent Systems (TIIS)
EDAssistant: Supporting Exploratory Data Analysis in Computational Notebooks with In-Situ Code Search and Recommendation
PDF Cite DOI
June, 2022 ACM Transactions on Software Engineering and Methodology (TOSEM)
Bash in the Wild: Language Usage, Code Smells, and Bugs
PDF Cite Code DOI
May, 2022 ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward More Efficient Statistical Debugging with Abstraction Refinement
PDF Cite DOI
May, 2022 44th International Conference on Software Engineering (ICSE)
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
PDF Cite Code DOI
January, 2022 IEEE Transaction on Software Reliability
Feature-FL: Feature-based Fault Localization
PDF Cite DOI
May, 2021 USENIX Annual Technical Conference (USENIX ATC)
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing
PDF Cite
March, 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Empirical Evaluation of Smart Contract Testing: What is the Best Choice?
PDF Cite DOI
November, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE Tool)
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
PDF Cite DOI
October, 2019 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
Engineering a Better Fuzzer with Synergically Integrated Optimizations
PDF Cite DOI
May, 2019 41st International Conference on Software Engineering (ICSE)
Practical GUI Testing of Android Applications via Model Abstraction and Refinement
PDF Cite Project DOI
May, 2018 40th International Conference on Software Engineering (ICSE)
Perses: Syntax-Guided Program Reduction
PDF Cite Project DOI
January, 2018 IET SOftware
How Test Suites Impact Fault Localization Starting from the Size
PDF Cite DOI
September, 2017 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME)
AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications
PDF Cite DOI
June, 2017 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Skeletal program enumeration for rigorous compiler testing
PDF Cite DOI
May, 2017 39th International Conference on Software Engineering (ICSE)
Stochastic Optimization of Program Obfuscation
PDF Cite DOI
October, 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Finding Compiler Bugs via Live Code Mutation
PDF Cite DOI
August, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)
Automatic Runtime Recovery via Error Handler Synthesis
PDF Cite DOI
July, 2016 25th International Symposium on Software Testing and Analysis (ISSTA)
Toward Understanding Compiler Bugs in GCC and LLVM
PDF Cite DOI
June, 2016 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Coverage-Directed Differential Testing of JVM Implementations
PDF Cite DOI
May, 2016 38th International Conference on Software Engineering (ICSE)
Finding and Analyzing Compiler Warning Defects
PDF Cite DOI
October, 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
PDF Cite DOI
July, 2015 International Symposium on Software Testing and Analysis (ISSTA)
Randomized Stress-Testing of Link-Time Optimizers
PDF Cite DOI
November, 2014 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE Tool)
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
PDF Cite DOI
November, 2014 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)
Querying Sequential Software Engineering Data
PDF Cite DOI
August, 2014 Empirical Software Engineering (EMSE)
Automated Prediction of Bug Report Priority Using Multi-Factor Analysis
PDF Cite DOI
July, 2014 International Symposium on Software Testing and Analysis (ISSTA)
Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
PDF Cite DOI
November, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
TzuYu: Learning Stateful Typestates
PDF Cite DOI
November, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Constraint-Based Automatic Symmetry Detection
PDF Cite DOI
September, 2013 29th IEEE International Conference on Software Maintenance (ICSM)
DRONE: Predicting Priority of Reported Bugs by Multi-Factor Analysis
PDF Cite DOI
August, 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE)
Mining Succinct Predicated Bug Signatures
PDF Cite DOI
May, 2013 International Conference on Software and System Process
Mining Explicit Rules for Software Process Evaluation
PDF Cite DOI
December, 2012 19th Working Conference on Reverse Engineering (WCRE)
Information Retrieval Based Nearest Neighbor Classification for Fine-Grained Bug Severity Prediction
PDF Cite DOI
September, 2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
PDF Cite DOI
March, 2012 16th European Conference on Software Maintenance and Reengineering
Improved Duplicate Bug Report Identification
PDF Cite DOI
November, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Towards More Accurate Retrieval of Duplicate Bug Reports
PDF Cite DOI
November, 2011 27th IEEE International Conference on Software Maintenance (ICSM)
Graph-based Detection of Library API Imitations
PDF Cite DOI
May, 2010 32th International Conference on Software Engineering (ICSE)
A Discriminative Model Approach for Accurate Duplicate Bug Report Retrieval
PDF Cite DOI
June, 2009 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD)
Classification of Software Behaviors for Failure Detection: A Discriminative Pattern Mining Approach
PDF Cite DOI