Ji Wang -

Not registered as user yet

Name:Ji Wang

Contributions

ISSTA 2023	Author of Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning within the Technical Papers-track
APSEC 2022	Author of Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization within the Technical Track-track Author of NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs within the Technical Track-track
ICSE 2022	Author of Multi-Intention-Aware Configuration Selection for Performance Tuning within the Technical Track-track
ISSTA 2021	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
ICSE 2021	Author of DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures within the Technical Track-track
NSAD 2020	Author of Rigorous Linear Programming Techniques for Numerical Abstract Domains within the NSAD-track
ASE 2020	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
ICSE 2020	Author of MPI-SV: A Symbolic Verifier for MPI Programs within the Demonstrations-track Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
ASE 2019	Author of Detecting Error-Handling Bugs without Error Specification Input within the Research Papers-track
ICSE 2019	Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
* ICSE 2018 *	Author of Symbolic Verification of Regular Properties within the Technical Papers -track
ICPC 2018	Author of LogTracker: Learning Log Revision Behaviors Proactively from Software Evolution History within the Technical Research-track
VMCAI 2017	Author of Block-wise abstract interpretation by combining abstract domains with SMT within the VMCAI-track