ECOOP and ISSTA 2021 (series) / Ji Wang
Registered user since Fri 2 Feb 2024
Name:Ji Wang
Country:China
Affiliation:National University of Defense Technology
Contributions
2021
ISSTA
- Grammar-Agnostic Symbolic Execution by Token Symbolization
- Type and Interval Aware Array Constraint Solving for Symbolic Execution
- Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
- Type and Interval aware Array Constraint Solving for Symbolic Execution
- Synthesize Solving Strategy for Symbolic Execution
- Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
- Grammar-Agnostic Symbolic Execution by Token Symbolization
ECOOP and ISSTA 2021-profile
View general profile
View general profile