發送短信 : Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin

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