• Publications
  • Influence
Pex-White Box Test Generation for .NET
TLDR
Pex automatically produces a small test suite with high code coverage for a .NET program that has already been extensively tested over several years. Expand
  • 886
  • 69
  • PDF
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
TLDR
Spec Explorer is a tool for testing reactive, object-oriented software systems. Expand
  • 274
  • 22
  • PDF
Parameterized unit tests
TLDR
Parameterized unit tests extend the current industry practice of using closed unit tests defined as parameterless methods. Expand
  • 223
  • 17
  • PDF
Path Feasibility Analysis for String-Manipulating Programs
TLDR
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. Expand
  • 171
  • 16
  • PDF
Demand-Driven Compositional Symbolic Execution
TLDR
We discuss how to perform symbolic execution of large programs in a manner that is both compositional (hence more scalable) and demand-driven. Expand
  • 223
  • 14
  • PDF
Symbolic execution for software testing in practice: preliminary assessment
TLDR
We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Expand
  • 303
  • 13
  • PDF
Rex: Symbolic Regular Expression Explorer
TLDR
We introduce a method and a tool called Rex, for symbolically expressing and analyzing regular expression constraints. Expand
  • 133
  • 13
  • PDF
DySy: dynamic symbolic execution for invariant inference
TLDR
In this paper, we introduce a technique that can drastically increase the relevance of inferred invariants, or reduce the size of the test suite required to obtain good invariants. Expand
  • 192
  • 11
  • PDF
Fitness-guided path exploration in dynamic symbolic execution
TLDR
We propose a novel approach called Fitnex, a search strategy that uses state-dependent fitness values (computed through a fitness function) to guide path exploration. Expand
  • 212
  • 10
  • PDF
SPUR: a trace-based JIT compiler for CIL
TLDR
We propose a trace JIT for Microsoft's Common Intermediate Language CIL (the target language of C#, VisualBasic, F#, and many other languages). Expand
  • 94
  • 10
  • PDF