... chương trình Java Đồng thời, đề xuất quy trình ứng dụng kỹ thuật kiểm thử đột biến để kiểm thử chương trình Java sử dụng hai công cụ Cụ thể, kiểm thử chương trình xếp dãy số tăng dần theo thuật toán ... cứu kỹ thuật kiểm thử đột biến vào năm 2009 TS.Nguyễn Thanh Bình – Đại học Bách khoa, Đại học Đà Nẵng [2] Đồng thời, xin đề xuất “quy trình ứng dụng kỹ thuật kiểm thử đột biến để kiểm thử chương ... cạnh việc sử dụng kiểm thử đột biến mức thực thi phần mềm, kiểm thử đột biến sử dụng mức thiết kế để kiểm thử đặc tả mô hình chương trình Ví dụ, mức thiết kế, kiểm thử đột biến áp dụng cho máy...