70
Publications
4K
Citations
33
H-Index
2000
Active since
Wolfram Schulte is an author at Microsoft (United States) specializing in engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingFormal MethodsFormal VerificationVerificationSoftware Design
Publications per year
2000–2016
70
70
Verification of Object-Oriented Programs with Invariants.
Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 326 citations · Full text
Fitness-guided path exploration in dynamic symbolic execution
Tao Xie, Nikolai Tillmann, Jonathan de Halleux et al. · 2009 · 233 citations
Heuristic Search, Engineering, Fitness-guided Path Exploration +21
Nikolai Tillmann, Wolfram Schulte · 2005 · 211 citations
Specification and verification
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino et al. · Communications of the ACM · 2011 · 187 citations
Rows per page
1–5 of 70