Thông tin chuyên gia

Tên đề tài	Cấp	Vai trò	Năm
Ứng dụng kiểm thử đột biến các câu lệnh truy vấn cơ sở dữ liệu.	Đề tài cấp Bộ	Chủ trì	2011
Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường SCICOS và SIMULINK.	Đề tài cấp Nhà nước	Chủ trì	2011

Tạp chí

Tên bài báo	Loại	Tạp chí
Giải pháp hệ thống thi trắc nghiệm khách quan ứng dụng công nghệ không dây.	trongnuoc	Tạp chí Khoa học Công nghệ ĐHĐNmarriage affairs blog.ivanovtech.com i want an affair. Số: Số 03(88).2015. Trang: 114.
Phân tích khả năng kiểm thử chương trình hướng đối tượng Java.	trongnuoc	Tạp chí Khoa học Công nghệ ĐHĐN. Số: Số 12(97).2015, Quyển 2. Trang: 30.
Cải tiến thực thi đột biến trong kiểm thử đột biến cho các mô hình Simulink sử dụng tính toán song song.	trongnuoc	Tạp chí Khoa học và Công nghệ Đại học Đà Nẵngwalgreens pharmacy coupon site promo codes walgreens. Số: 1(74). Trang: 9-13.
Giải pháp sinh dữ liệu thử cho ứng dụng tương tác.	trongnuoc	Kỷ yếu Hội nghị Quốc gia lần thứ VII về Nghiên cứu cơ bản và ứng dụng Công Nghệ thông tin (FAIR)marriage affairs all wife cheat i want an affair. Số: ISBN: 978-604-913-300-8. Trang: 134-144.
TTT: a Test Modeling Language for Interactive Applications Based on Task Trees.	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ XVI: Một số vấn đề chọn lọc của CNTT & TT (@ 2013)abortion stories gone wrong information about abortions teenage abortion factswalgreens pharmacy coupon walgreen online coupons promo codes walgreens. Số: XVI. Trang: 333-338.
Tự động sinh đột biến cho các mô hình Simulink/Matlab.	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ XVI: Một số vấn đề chọn lọc của CNTT & TT (@ 2013)marriage affairs all wife cheat i want an affairunfaithful spouse developerstalk.com i dreamed my husband cheated on me. Số: XVI. Trang: 339-346.
Sinh ca kiểm thử tự động trong kiểm thử hồi quy cho các hệ thống phản ứng.	trongnuoc	Kỷ yếu Hội nghị Quốc gia lần thứ VI về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR). Số: ISBN 978-604-913-165-3. Trang: 484-493.
Phân tích tĩnh nhằm phát hiện các khiếm khuyết trong mã nguồn C.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngàowalgreens prints coupons rx coupons printable free printable coupons. Số: 11(60). Trang: 40-46.
Kiểm thử đột biến – Các kỹ thuật và ứng dụng.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngcvs weekly sale shauneutsey.com prescription savings cards. Số: 8(57). Trang: 7-12.
Ứng dụng kỹ thuật tái cấu trúc cơ sở dữ liệu nhằm nâng cao chất lượng phần mềm.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngmarriage affairs open i want an affair. Số: Số 4(45). Trang: 15-21.
Tự động phân tích khả năng kiểm thử các mô hình Simulink.	trongnuoc	Tạp Chí Khoa học và Công nghệ Các Trường Đại học Kỹ thuật. Số: 84. Trang: 29-35.
Ứng dụng kỹ thuật kiểm thử đột biến các chương trình Csharp.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 34.
Ứng dụng thanh tra mã nguồn trong tiến trình phát triển phần mềm.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 32.
Giải pháp nâng cao chất lượng phần mềm hướng đối tượng.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngwalgreens pharmacy coupon walgreen online coupons promo codes walgreens. Số: 28.
Phân tích khả năng kiểm thử các đơn vị phần mềm.	trongnuoc	Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngunfaithful spouse developerstalk.com i dreamed my husband cheated on me. Số: 16.
A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models	quocte	Knowledge and Systems Engineering - Advances in Intelligent Systems and Computing. No: 326. Pages: 169-181.
Applying the meta-heuristic algorithms for mutation-based Test data generation for Simulink models.	quocte	Proceeding of the fifth international symposium on Information and Communication Technology (SoICT 2014)walgreens pharmacy coupon walgreen online coupons promo codes walgreens. No: 978-1-4503-2930-9. Pages: 102-109.
Mutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing .	quocte	International Journal of Computer and Information Technologymarriage affairs blog.ivanovtech.com i want an affaircvs weekly sale shauneutsey.com prescription savings cards. No: Volume 03 – Issue 04. Pages: 763-771.
A New Test Modeling Language for Interactive Applications Based on Task Trees.	quocte	Proceedings of the 4th Symposium on Information and Communication Technology (SoICT 2013). No: ISBN 978-1-4503-2454-0. Pages: 285-293.
Automatic generation of test cases in regression testing for Lustre/SCADE programs.	quocte	Journal of Software Engineering and Applications. No: 6. Pages: 27-35.
Mutation Operators for Simulink Models.	quocte	Proceedings of the Fourth International Conference on Knowledge and Systems Engineering (KSE 2012). No: 4. Pages: 54-60.
Testability Analysis Approach For Reactive Systems.	quocte	International Journal of Computer Science Issueswalgreens pharmacy coupon site promo codes walgreens. No: Vol. 8, Issue 6, No 2. Pages: 13-20.
Transition-Based Testability Analysis For Reactive Systems.	trongnuoc	Proceedings of the IEEE International Conference on Computer Science and Automation Engineering.
Testability Metrics For Extended Finite State Machines.	trongnuoc	The Tenth IASTED International Conference on Software Engineering.
Xây dựng công cụ kiểm thử đột biến các câu lệnh truy vấn cơ sở dữ liệu.	trongnuoc	Kỷ yếu Hội thảo quốc gia Công nghệ Thông tin và Truyền thông 2010.
Testability Analysis Integrated Into Scicos Development Environment.	trongnuoc	Proceedings of IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future.

Quá trình Công tác

Đề tài

Tạp chí

Tạp chí

Sở hữu trí tuệ

Ngoại ngữ

Kinh nghiệm