A5009603874- Software Testing and Debugging Techniques
- Advanced Malware Detection Techniques
- Software System Performance and Reliability
- Software Engineering Research
- Cloud Computing and Resource Management
- Parallel Computing and Optimization Techniques
- Simulation Techniques and Applications
- Formal Methods in Verification
- Viral Infectious Diseases and Gene Expression in Insects
- Model-Driven Software Engineering Techniques
- Web Application Security Vulnerabilities
Tsinghua University
2022-2025
Testing database management systems (DBMSs) is a complex task. Traditional approaches, such as metamorphic testing, need precise comprehension of the SQL specification to create diverse inputs with equivalent semantics. The vagueness and intricacy make it challenging accurately model query semantics, thereby posing difficulties in testing correctness performance DBMSs. To address this, we propose Mozi, framework that finds DBMS bugs via configuration-based transformation. key idea behind...
Effective DBMS fuzzing relies on high-quality initial seeds, which serve as the starting point for mutation. These seeds should incorporate various features to explore state space thoroughly. While built-in test cases are typically used many DBMSs lack comprehensive cases, making it difficult apply state-of-the-art techniques directly.
Simulink is a widely used model-driven design environment for supporting the simulation and code generation of embedded applications. To improve quality generated from models, state-of-the-art generators employ various high-level optimizations, like eliminating local variables. However, they overlook compatibility between low-level processor architecture, especially instruction pipeline. Consequently, pipeline stalls occur frequently, leading to additional delays in execution, as well...