A5089483027- Particle physics theoretical and experimental studies
- Quantum Chromodynamics and Particle Interactions
- High-Energy Particle Collisions Research
- Neutrino Physics Research
- Atomic and Subatomic Physics Research
- Computational Physics and Python Applications
- Black Holes and Theoretical Physics
- Dark Matter and Cosmic Phenomena
- Advanced NMR Techniques and Applications
- Medical Imaging Techniques and Applications
- Software Testing and Debugging Techniques
- Satellite Communication Systems
- Particle Accelerators and Free-Electron Lasers
- Software Reliability and Analysis Research
- Distributed and Parallel Computing Systems
- Antenna Design and Analysis
- Radiation Effects in Electronics
- Nuclear physics research studies
- Particle Detector Development and Performance
- Antenna Design and Optimization
University of Chinese Academy of Sciences
2024-2025
Institute of Information Engineering
2025
Institute of High Energy Physics
2024-2025
Sun Yat-sen University
2024
Chinese Academy of Sciences
2024
Dalian Maritime University
2024
Hunan University
2024
South China Normal University
2024
Inner Mongolia University
2023
Henan University
2023
Concolic execution follows the paths of concrete inputs, capable generating new inputs for unexplored code by solving negated path constraints. However, implicit flows can hinder concolic execution, reducing coverage. Implicit occur when influence control flow, and flow variation affects values some variables. During preceding selections limit potential these This limitation may result in unsolvable constraints, subsequently restricting generation paths. Our insight is that following same...