A computer system provides a test program and one or more unit tests, such as a traditional unit test and or a parameterized unit test. The system also includes a constraint solver, a theorem prover, an implementation under test, a symbolic executor, a generalizor, and generated test cases. The generalizor...http://www.google.com/patents/US20070033443?utm_source=gb-gplus-sharePatent US20070033443 - Unit test generalization
