Xuandong Li
Harbin Institute of Technology(CN)Nanjing University of Science and Technology(CN)Novel (United States)(US)Shaanxi Coal Chemical Industry Technology Research Institute(CN)Nanjing University(CN)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Software Reliability and Analysis Research, Software Engineering Research, Software System Performance and Reliability
Most-Cited Works
- → Rational design of core-shell Co@C microspheres for high-performance microwave absorption(2016)760 cited
- → Generating Test Cases from UML Activity Diagram based on Gray-Box Method(2005)210 cited
- → Ternary Mo2C/Co/C composites with enhanced electromagnetic waves absorption(2020)177 cited
- → Reinforcement learning based curiosity-driven testing of Android applications(2020)165 cited
- → Automatic test case generation for UML activity diagrams(2006)150 cited
- → Steering symbolic execution to less traveled paths(2013)91 cited