conf.researchr.org / Ji Wang
Registered user since Fri 2 Feb 2024
Name:Ji Wang
Affiliation:School of Computer, National University of Defense Technology, China
Contributions
2024
2023
2022
APSEC
2021
ISSTA
- Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Artifact Evaluation-track
- Author of Type and Interval Aware Array Constraint Solving for Symbolic Execution within the Technical Papers-track
- Author of Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing within the Technical Papers-track
- Author of Type and Interval aware Array Constraint Solving for Symbolic Execution within the Artifact Evaluation-track
- Author of Synthesize Solving Strategy for Symbolic Execution within the Technical Papers-track
- Author of Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing within the Artifact Evaluation-track
- Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Technical Papers-track
2020
ASE
- Author of Efficient Multiplex Symbolic Execution with Adaptive Search Strategy within the Late Breaking Results-track
- Author of Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once within the Research Papers-track
- Author of CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs within the Research Papers-track
- Author of Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN within the Late Breaking Results-track