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
- 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
- Data Structures and Algorithms (DSA)
- used by team 5 of CSC 712 Fall 2008
- nUnit
- used by team 6 of CSC 712 Fall 2008
- Sharp SNMP
- used by team 8 of CSC 712 Fall 2008
Open Source Projects used in Research Publications
- QuickGraph
- Facebook APIs
- 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
- Regression 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
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)
|