Đang chuẩn bị liên kết để tải về tài liệu:
Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ

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. |

TÀI LIỆU LIÊN QUAN

Doctoral thesis summary of Education: Developing mathematical intuitive competence for students in teaching Mathematics at high school

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

Summary of Mathematical Physics Doctoral Thesis: Electrical transport properties of some graphene nanostructures

Dissertation summary: Electronic transport properties of some graphene nanostructures

Summary of Mathematics Doctoral Thesis: Some limit theorems in noncommutative probability

Summary of the doctoral thesis of Mathematics: Improving some artificial immune algorithms for network intrusion detection

Summary of Doctoral Thesis in Education Science: Contributing to the developing mathematical language for pre-university students in the Central Highlands

Summary of Doctorate Thesis in Education: Preparing pedagogical university students of math to help school students with guided self-study

Dissertation summary: On the existence of fixed point for some mapping classes in spaces with uniform structure and application

A Summary of W.D. Gann's Techniques of Analysis and Trading