Guoliang Zheng
Chinese Academy of Sciences(CN)Ningbo Institute of Industrial Technology(CN)Zhejiang University of Technology(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Advanced Software Engineering Methodologies, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Generating Test Cases from UML Activity Diagram based on Gray-Box Method(2005)210 cited
- → α2,6-Sialylation promotes hepatocellular carcinoma cells migration and invasion via enhancement of nSmase2-mediated exosomal miRNA sorting(2022)20 cited
- → Ultrasonic horn material dependence of shot dynamics and target property induced by ultrasonic shot peening(2024)16 cited
- → Timing Analysis of UML Activity Diagrams(2001)15 cited
- → Thermodynamic and particle-dynamic studies on synthesis of silica nanoparticles using microwave-induced plasma CVD(2004)14 cited
- → Towards a Model Driven Approach to Automatic BPEL Generation(2007)14 cited