Lin-Zhang Wang
Nanjing University(CN)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Service-Oriented Architecture and Web Services, Advanced Malware Detection Techniques, Security and Verification in Computing
Most-Cited Works
- → Aspect-Oriented Modeling and Verification with Finite State Machines(2009)16 cited
- → MDA Based Design Patterns Modeling and Model Transformation(2008)15 cited
- → Automatic Buffer Overflow Warning Validation(2020)9 cited
- → Vulnerable Region-Aware Greybox Fuzzing(2021)8 cited
- → Automatic Detection and Repair Recommendation for Missing Checks(2019)1 cited
- → Scenario-Driven Service Behavior Manipulation(2011)1 cited
- → Optimization of Points-to Analysis for Java(2011)
- → BACH: A Toolset for Bounded Reachability Analysis of Linear Hybrid Systems(2011)
- → 设计模式指导的软件分簇方法(2014)