Linzhang Wang
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Advanced Malware Detection Techniques, Software System Performance and Reliability, Advanced Software Engineering Methodologies
Most-Cited Works
- → Steering symbolic execution to less traveled paths(2013)91 cited
- → Learning semantic program embeddings with graph interval neural network(2020)61 cited
- → An Automated Test Generation Technique for Software Quality Assurance(2014)54 cited
- → BACH : Bounded ReAchability CHecker for Linear Hybrid Automata(2008)53 cited
- → A Threat Model Driven Approach for Security Testing(2007)53 cited
- → Leveraging design rules to improve software architecture recovery(2013)53 cited
- → ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications(2017)52 cited
- → Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior(2011)51 cited
- → Selective restore(2015)49 cited