book chapterLecture notes in computer scienceJan 1, 2008Closed access

Pex–White Box Test Generation for .NET

NTNikolai TillmannJDJonathan de Halleux

Microsoft (United States)

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

786
total citations
FWCI
38.31
Percentile
100%
References
28
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Test suite
  • Unit testing
  • Symbolic execution
  • Parameterized complexity
  • Solver
  • Suite
  • Programming language
No related works found for this paper.