资 源 简 介
Korat for C# is a tool for constraint-based generation of structurally complex test inputs for C# programs. Structurally complex means that the inputs are structural (e.g., represented with linked data structures) and must satisfy complex constraints that relate parts of the structure e.g., invariants for linked data structures). Based on Korat for Java: http://korat.sourceforge.net/
