A5107244139- Software Testing and Debugging Techniques
- Software Engineering Research
- Software System Performance and Reliability
- Catalysts for Methane Reforming
- Petroleum Processing and Analysis
- Catalysis and Hydrodesulfurization Studies
Northwest University
2015-2024
In this work, a systematic study has been conducted to optimize the process conditions and evaluate kinetic parameters for hydrodesulfurization of coal tar. Experiments were performed in trickle-bed hydrogenation unit at temperatures, hydrogen pressures, liquid hourly space velocities 643–683 K, 9.6–13.6 MPa, 0.3–0.5 h–1, respectively. Hydrogen oil volume ratio was maintained constant 1,200 LN/L all cases. Optimization investigated using Box-Behnken experimental design by response surface...
Random test case generation, or fuzzing, is a viable means for uncovering compiler bugs. Unfortunately, fuzzing can be time-consuming and inefficient with purely randomly generated cases due to the complexity of modern compilers. We present COMFUZZ, focused framework. COMFUZZ aims improve efficiency by focusing on testing components language features that are likely trigger Our key insight human developers tend make common repeat errors across implementations; hence, we leverage previously...