Wolfram Schulte

Publications by Year

Research Areas

Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Software Reliability and Analysis Research

Most-Cited Works

• → The Spec# Programming System: An Overview(2005)978 cited
• → VCC: A Practical System for Verifying Concurrent C(2009)534 cited
• → Verification of Object-Oriented Programs with Invariants.(2004)326 cited
• → Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution(2005)282 cited
• → Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer(2008)235 cited
• → Fitness-guided path exploration in dynamic symbolic execution(2009)233 cited
• → The design of a task parallel library(2009)218 cited
• → Parameterized unit tests(2005)211 cited
• → Specification and verification(2011)187 cited
• → Generating finite state machines from abstract state machines(2002)182 cited