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

http://repository.vnu.edu.vn/handle/VNU_123/42121



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

http://repository.vnu.edu.vn/handle/VNU_123/42121