أرسل هذا في رسالة قصيرة: Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin

 _    _    __   __    ______    ______   __   _   
| \  / ||  \ \\/ //  /_   _//  /_   _// | || | || 
|  \/  ||   \ ` //     | ||     -| ||-  | '--' || 
| .  . ||    | ||     _| ||     _| ||_  | .--. || 
|_|\/|_||    |_||    /__//     /_____// |_|| |_|| 
`-`  `-`     `-`'    `--`      `-----`  `-`  `-`