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

           __   __   ______     _____     ______  
  ____     \ \\/ // |      \\  |  ___||  /_____// 
 |    \\    \ ` //  |  --  //  | ||__    `____ `  
 | [] ||     | ||   |  --  \\  | ||__    /___//   
 |  __//     |_||   |______//  |_____||  `__ `    
 |_|`-`      `-`'   `------`   `-----`   /_//     
 `-`                                     `-`