Open Source C# Code (with Parameterized Unit Tests)

C# Open Source Projects with Parameterized Unit Tests

With the keyword "using Microsoft.Pex.Framework", you can search Ohloh (not valid anymore), SearchCode, Search Open Source Code to find more open source projects using Pex, and thus using Parameterized Unit Tests. You can also try other engines such as Krugle, NerdyData, Symbol Hunt, Merobase, and see more details here, but it seems these engines don't return any or many results. You can also search CodePlex with the keyword "Microsoft Pex" but only a few results are returned.

C# Open Source Projects with Active Development

You can use MSDN Code Search Preview: to search C# open source projects to use in your research.

Microsoft releases some of Microsoft .NET code bases via its Microsoft Shared Source Initiative. For example, .NET framework base libraries are open source. You can directly download them here.

You can find here C# tools, here open source software in C#, and here open source .NET testing tools.

Google APIs client library for .NET

C# Open Source Projects Used in past CSC 712 (which have conventional unit tests available for test generalization)

  • Castle is to simplify the development of enterprise and web applications (source code download)
    • ActiveRecord subproject used by team 1 of CSC 712 Fall 2008 (but it doesn't seem to have complex logics)
  • Microsoft Enterprise Library 4.01
    • package Cryptography Application Block used by team 2, team 7, and team 9 of CSC 712 Fall 2008
    • package Logging Application Block used by team 1 of CSC 712 Fall 2009
    • package Data Access Application Block used by team 3 of CSC 712 Fall 2009 and by team 2 of CSC 712 Fall 2010
    • package Unity Application Block used by team 6 of CSC 712 Fall 2009
    • package Caching Application Block used by team 7 of CSC 712 Fall 2009
  • Math.NET
    • Iridium numerics library used by team 3 of CSC 712 Fall 2008 (caveat: it involves floating point computation, not well handled by Pex)
  • xUnit.net
    • used by team 4 of CSC 712 Fall 2008
    • used by team 5 of CSC 712 Fall 2009
    • used by team 9 of CSC 712 Fall 2009
    • used by team 4 of CSC 712 Fall 2010
    • used by team 8 of CSC 712 Fall 2010
  • Data Structures and Algorithms (DSA)
    • used by team 5 of CSC 712 Fall 2008
    • used by team 8 of CSC 712 Fall 2009
    • used by team 1 of CSC 712 Fall 2010
    • used by team 9 of CSC 712 Fall 2010
    • used by team 12 of CSC 712 Fall 2010
  • nUnit
    • used by team 6 of CSC 712 Fall 2008
  • Sharp SNMP
    • used by team 8 of CSC 712 Fall 2008
    • used by team 4 of CSC 712 Fall 2009
  • Compass
    • used by team 2 of CSC 712 Fall 2009
    • used by team 5 of CSC 712 Fall 2010
    • used by team 7 of CSC 712 Fall 2010 (no source only midterm source)
    • used by team 10 of CSC 712 Fall 2010
  • NGenerics
    • used by team 3 of CSC 712 Fall 2010
  • Power Collections
    • used by team 6 of CSC 712 Fall 2010
  • NCover
    • used by team 11 of CSC 712 Fall 2010

Open Source Projects used in Research Publications

Open Source Projects with manually written PUTs

Some Open Source Projects (Thank Peli de Halleux from MSR Pex team for recommending these sites)

The three projects below are developed in a TDD fashion so they have a unit test suite with reasonable code coverage.

Other C# Open Source Projects

C# Open Source Project Collections (e.g., you can browse and try out the most downloded projects or new released projects)

Machine Learning/Data Mining Software in C#

    • Shweet (code authors used Pex to extensively test the code)