装丁について
Introduces exhaustively the key techniques for test data generation, including evolutionary computation, constraint solving and optimization.