Open Source C# Code (with Parameterized Unit Tests)
C# Open Source Projects with Parameterized Unit Tests
- Shweet
- Codekicker.BBCode
- Microsoft - Domain Oriented N-Layered .NET 4.0 App Sample (Microsoft Spain)
- Patterns & Practices SharePoint Guidance v2
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 used in the ReAssert project described in Daniel et al.'s ISSTA 10 paper
- QuickGraph
- used in Thummalapenta et al.'s ESEC/FSE 09 paper on MSeqGen on method-sequence generation
- Facebook APIs
- used in Thummalapenta et al.'s ESEC/FSE 09 paper on MSeqGen on method-sequence generation
- CodePlex Source Control Client
- used in Marri et al.'s AST 09 paper on mock object study
- In-house benchmarks
- used in Xie et al's DSN 09 paper on path exploration
- Regular expression benchmarks
- used in Li et al's ASE 09 paper on testing code including complex regular expressions
- Regression testing benchmarks
- used in Taneja et al's ICSE 09 NIER paper on regression test generation
Open Source Projects with manually written PUTs
- QuickGraph
- Currently, have two versions 2.0 and 3.0 with PUTs
- BBCode
- Has an extensive number of manually written PUTs
- Shweet
- Has an extensive number of manually written PUTs, requiring Sharepoint
- Microsoft - Domain Oriented N-Layered .NET 4.0 App Sample (Microsoft Spain)
- Patterns & Practices SharePoint Guidance v2
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.
- Microsoft Biology Foundation (including unit tests), requiring Sharepoint
- DiffPlex (including unit tests) involving string parsing, requiring Silverlight
- WikiPlex (including unit tests) involving string parsing
- AntiXSS
- PowerCollections (data structures with high download count)
- BBCode (code authors used Pex to extensively test the code)
- Enterprise Library (Microsoft Patterns & Practices group)
- SvnBridge
- Xunit.net (a unit test framework)
Other C# Open Source Projects
- Shared Source Common Language Infrastructure 2.0 Release
- Rainbow: an open source, comprehensive content management system
- Cosmos Managed Operating System
- SharpOS operating system
- Singularity Research Development Kit (not good for applying Pex since it includes some special languages)
C# Open Source Project Collections (e.g., you can browse and try out the most downloded projects or new released projects)
- CodePlex
- Google Code C#
- Sourceforge.net C# projects
- Open Source Software in C#
- ic#code: Open Source Projects for the .NET Platform
Machine Learning/Data Mining Software in C#
- Shweet (code authors used Pex to extensively test the code)