Sinh test case tự động cho chương trình chứa điều kiện phức tạp sử dụng giải thuật di truyền