Wei Ding is an author at George Mason University specializing in engineering, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringDesignStatistics
Publications per year
2002–2002
3
3
Using a model checker to test safety properties
Paul Ammann, Wei Ding, Daling Xu · 2002 · 59 citations
Evaluation of three specification-based testing criteria
Aynur Abdurazik, Paul Ammann, Wei Ding et al. · 2002 · 42 citations
Lightweight Reasoning about Program Correctness
Marsha Chećhik, Wei Ding · Information Systems Frontiers · 2002 · 14 citations
Rows per page
1–3 of 3