Concepedia

Author

Wolfram Schulte

Microsoft (United States)

Also Known As

Barnett, Mike, Schulte, Wolfram, W. Schulte, Walter Guttmann, Wolfram Schulte

235

Publications

8K

Citations

46

H-Index

103

Concepts

All Affiliations

Microsoft (United States)Microsoft Research (United Kingdom)North Carolina State UniversityKU Leuven
WS

About

Wolfram Schulte is an author at Microsoft (United States) specializing in engineering, program analysis, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

31

55

3.4K

2

Business

3

3

158

3

Language Studies

3

3

342

4

Management

2

2

73

5

Education

1

1

23

Wolfram Schulte

×

70

Publications

4K

Citations

33

H-Index

YearCitations

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich,

The Journal of Object Technology

2004

326

Fitness-guided path exploration in dynamic symbolic execution

Tao Xie, Nikolai Tillmann, Jonathan de Halleux,

2009

233

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

ACM SIGPLAN Notices

2009

218

Parameterized unit tests

Nikolai Tillmann, Wolfram Schulte

2005

211

Specification and verification

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino,

Communications of the ACM

2011

187

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte,

ACM SIGSOFT Software Engineering Notes

2002

182

The design of a task parallel library

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

2009

155

Automating Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Aditya V. Nori,

IEEE Software

2008

118

Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Theoretical Computer Science

2005

117

SPUR

Michael Bebenita, Florian Brandner, Manuel Fähndrich,

2010

114

Page 1