Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.