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

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