Unit Testing Memory Management with Microsoft Pex

Memory management is a function of operating system. Unit testing is used to validate the correctness of programs. Pex is a Parameterized unit test tool, which can create a small test suite with high code coverage. The paper describes how to use Pex to test a simulation program of memory management.