Thông tin chuyên gia
Quá trình Công tác
Thời gian
Cơ quan
Vị trí
2000 - 2004
Nghiên cứu sinh tại Viện Đại học Bách Khoa Grenoble, CH Pháp.
2004 - 2020
Giảng viên tại Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.
2006 - 2010
Trưởng Bộ môn Công nghệ phần mềm, Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.
2010 - 2020
Trưởng Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.
Từ 11/2020 -
Chủ tịch Hội đồng Trường Đại học Công nghệ Thông tin và Truyền thông ViệtHàn, Đại học Đà Nẵng.
Đề tài
| Tên đề tài | Cấp | Vai trò | Năm |
|---|---|---|---|
| Nghiên cứu giải pháp kiểm thử hồi quy cho các hệ thống phản ứng trong môi trường Lustre/SCADE. | Đề tài cấp Bộ | 2019 | |
| Ứ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ộ | 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 | 2011 |
Tạp chí
| Tên bài báo | Loại | Tạp chí | Tác giả |
|---|---|---|---|
| Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình. | Bài báo | Tạp chí khoa học và công nghệ Đại học Đà Nẵng. Số: 9(94). Trang: 84-90. Năm 2015. | Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình |
| Sinh ca kiểm thử cho các hệ thống phản ứng sử dụng công cụ kiểm chứng mô hình NUSMV. | Bài báo | Chuyên san Kỹ thuật và Công nghệ, Tạp chí khoa học Đại Học Huế. Số: Tập 106, Số 7. Trang: 55-66. Năm 2015. | Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình |
| Sinh dữ liệu thử cho ứng dụng lustre/scade sử dụng điều kiện kích hoạt. | Bài báo | Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR 2015). Số: Kỷ yếu Hội thảo. Trang: 628-639. Năm 2015. | Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis |
| Bộ toán tử đột biến cho ngôn ngữ Lustre. | Bài báo | Kỷ yếu Hội thảo quốc gia lần thứ XIX: Một số vấn đề chọn lọc của Công nghệ thông tin và truyền thông, Hà Nội, 10/2016. Số: ISBN: 978-604-67-0781-3. Trang: 37--42. Năm 2016. | Tác giả: Lê Văn Phol, Nguyễn Thanh Bình, Ioannis Parissis |
| Xử lý dữ liệu không cân bằng trong bài toán dự đoán lỗi phần mềm. | Bài báo | Kỷ yếu Hội thảo KHCN Quốc gia lần thứ XIII về Nghiên cứu cơ bản và ứng dụng CNTT 2020 (FAIR2020). Số: ISBN: 978-604-9985-77-5. Trang: 746-755. Năm 2020. | Tác giả: Lê Song Toàn, Nguyễn Thanh Bình, Lê Thị Mỹ Hạnh, Nguyễn Thanh Bình |
| Second order mutation testing for Lustre program. | Bài báo | Kỷ yếu Hội thảo KHCN Quốc gia lần thứ XII về Nghiên cứu cơ bản và ứng dụng CNTT 2019 (FAIR 2019). Số: ISBN: 978-604-913-915-4. Trang: 399-405. Năm 2019. | Tác giả: Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis |
| Neural Network-Based Generation of Test Data for Interactive Multimodal Applications. | Article | Proceedings of The 2019 IEEE-RIVF International Conference on Computing and Communication Technologies. No: ISBN: 978-1-5386-9313-1. Pages: 191-195. Year 2019. | Authors: Lê Thanh Long, Nguyễn Thanh Bình, Ioannis Parissis |
| A Comparative Analysis of Filter-based Feature Selection Methods for Software Fault Prediction. | Bài báo | Chuyên san Các công trình nghiên cứu, phát triển và ứng dụng Công nghệ Thông tin và Truyền thông. Số: ISSN: 1859-3526. Trang: 1-7. Năm 2021. | Tác giả: Ha Thi Minh Phuong, Le Thi My Hanh, Nguyen Thanh Binh |
| Experimentation of Machine Learning for Predicting Code Smells. | Bài báo | Kỷ yếu Hội thảo khoa học quốc gia Công nghệ thông tin và ứng dụng (CITA). Số: ISBN: 978-604-84-5998-7. Năm 2021. | Tác giả: Phan Duy Hung, Le Thi My Hanh, Nguyen Thanh Binh |
| Tự động sinh đột biến cho các mô hình Simulink/Matlab. | Bài báo | 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). Số: XVI. Trang: 339-346. Năm 2013. | Tác giả: Lê Thị Mỹ Hạnh, Nguyễn Thanh Bình |
| An Improved Genetic Algorithm for Test Data Generation for Simulink Models. | Bài báo | Tạp chí Tin học và Điều khiển học (Journal of Computer Science and Cybernetics). Số: ISSN: 1813-9663. Trang: 50-69. Năm 2017. | Tác giả: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung |
| TTT: a Test Modeling Language for Interactive Applications Based on Task Trees. | Bài báo | 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). Số: XVI. Trang: 333-338. Năm 2013. | Tác giả: Lê Thanh Long, Nguyễn Thanh Binh, Ioannis Parissis |
| Phân tích khả năng kiểm thử các đơn vị phần mềm. | Bài báo | Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 16. Năm 2006. | Tác giả: Nguyễn Thanh Bình |
| Sinh ca kiểm thử tự động trong kiểm thử hồi quy cho các hệ thống phản ứng. | Bài báo | 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. Năm 2013. | Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis |
| Giải pháp sinh dữ liệu thử cho ứng dụng tương tác. | Bài báo | 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). Số: ISBN: 978-604-913-300-8. Trang: 134-144. Năm 2014. | Tác giả: Lê Thanh Long, Nguyen Thanh Binh, Ioannis Parissis |
| Constructing Metrics for Evaluating Multi-Relational Association Rules in the Semantic Web from Metrics for Scoring Association Rules. | Article | Proceedings of The 2019 IEEE-RIVF International Conference on Computing and Communication Technologies. No: ISBN: 978-1-5386-9313-1. Pages: 65-70. Year 2019. | Authors: Trần Đức Minh, Claudia d'Amato, Andrea G. B. Tettamanzi, Nguyễn thanh Bình |
| Experience Report on Developing a Crowdsourcing Test Platform for Mobile Applications. | Article | Proceedings of International Conference on Computational Collective Intelligence (ICCCI). No: ISBN 978-3-030-63119-2. Pages: 651-661. Year 2020. | Authors: Nguyen Thanh Binh, Mariem Allagui, Oum-El-Kheir Aktouf, Ioannis Parissis, Le Thi Thanh Binh |
| Phân tích tĩnh nhằm phát hiện các khiếm khuyết trong mã nguồn C. | Bài báo | Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngào. Số: 11(60). Trang: 40-46. Năm 2012. | Tác giả: Nguyễn Thanh Bình, Nguyễn Thị Thùy Linh |
| Evaluating Mutation Operator and Test Case Effectiveness by Means of Mutation Testing. | Article | Proceedings of Asian Conference Intelligent Information and Database Systems (ACIIDS). No: ISBN: 978-3-030-73280-6. Pages: 837-850. Year 2021. | Authors: Do Van Nho, Nguyen Quang Vu, Nguyen Thanh Binh |
| Optimizing Mutant Generation For Lustre Programs With Multi-Threading. | Article | Proceedings of IEEE Conference on Innovative Technologies in Intelligent System & Industrial Application (CITISIA). No: ISBN: 978-1-7281-9437-0. Year 2020. | Authors: Lê Văn Phol, Nguyễn Thanh Bình |
| Ứng dụng kỹ thuật kiểm thử đột biến các chương trình Csharp. | Bài báo | Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 34. Năm 2009. | Tác giả: Nguyễn Thanh Bình, Nguyễn Quang Vũ |
| Tự động phân tích khả năng kiểm thử các mô hình Simulink. | Bài báo | 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. Năm 2011. | Tác giả: Nguyễn Thanh Bình, Đặng Thiên Bình, Huy-Vu Do, Delaunay, Chantal Robach |
| Ứ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. | Bài báo | Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: Số 4(45). Trang: 15-21. Năm 2011. | Tác giả: Nguyễn Phương Tâm, Nguyễn Thanh Bình |
| Kiểm thử đột biến – Các kỹ thuật và ứng dụng. | Bài báo | Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 8(57). Trang: 7-12. Năm 2012. | Tác giả: Lê Thị Mỹ Hạnh, Nguyễn Thanh Bình |
| 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. | Bài báo | Tạp chí Khoa học và Công nghệ Đại học Đà Nẵng. Số: 1(74). Trang: 9-13. Năm 2014. | Tác giả: Lê Thị Mỹ Hạnh, Khuất Thanh Tùng, Nguyễn Thanh Bình |
| A Solution For Improving The Effectiveness of Higher Order Mutation Testing. | Article | Proceedings of The 2019 IEEE-RIVF International Conference on Computing and Communication Technologies. No: ISBN: 978-1-5386-9313-1. Pages: 202-206. Year 2019. | Authors: Đỗ Văn Nhỏ, Nguyễn Quang Vũ, Nguyễn Thanh Bình |
| Higher Order Mutant Generator for Lustre Programs. | Article | The proceedings of 2019 International Conference on System Science and Engineering (ICSSE). No: ISBN: 978-1-7281-0524-6. Pages: 251-255. Year 2019. | Authors: Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis |
| Testability Analysis with Respect to Testing Criteria for Software Components. | Article | Proceedings of the 6th IASTED International Conference on Software Engineering and Applications. Year 2002. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Mutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing . | Article | International Journal of Computer and Information Technology. No: Volume 03 – Issue 04. Pages: 763-771. Year 2014. | Authors: Le Thi My Hanh, Khuat Thanh Tung, Nguyen Thanh Binh |
| Comparing Rule Evaluation Metrics for the Evolutionary Discovery of Multi-Relational Association Rules in the Semantic Web . | Article | Proceedings of EuroGP 2018: Genetic Programming, Parma, Italy, April, 2018. Lecture Notes in Computer Science, Springer. No: ISSN: 0302-9743. Pages: 289-305. Year 2018. | Authors: Tran Duc Minh, Claudia d’Amato, Nguyen Thanh Binh, Andrea G. B. Tettamanzi |
| Automatically Testing of Multimodal Interactive Applications . | Article | Communications in Computer and Information Science. Springer. No: ISSN: 1865-0929. Pages: 93-113. Year 2017. | Authors: Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis |
| An Evolutionary Algorithm for Discovering Multi-Relational Association Rules in the Semantic Web . | Article | Proceedings of the Genetic and Evolutionary Computation Conference 2017 Berlin, Germany, July 15–19, 2017 (GECCO ’17). ACM. No: ISBN: 978-1-4503-4920-8. Pages: 512-520. Year 2017. | Authors: Tran Duc Minh, Claudia d’Amato, Nguyen Thanh Binh, Andrea G. B. Tettamanzi |
| LusRegTes: A Regression Testing Tool for Lustre Programs . | Article | International Journal of Electrical and Computer Engineering (IJECE). No: ISSN: 2088-8708. Pages: 2635-2644. Year 2017. | Authors: Nguyen Thanh Binh, Trinh Cong Duy, Ioannis Parissis |
| Parallel Mutant Execution Techniques in Mutation Testing Process for Simulink Models . | Article | Journal of Telecommunications and Information Technology. No: ISSN: 1509-4553. Pages: 90-100. Year 2017. | Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung |
| Mutants Generation For Testing Lustre Programs . | Article | In SoICT ’17: Eighth International Sympo-sium on Information and Communication Technology, December 7–8, 2017, Nha Trang City, Viet Nam. ACM, New York, NY, USA. No: ISBN: 978-1-4503-5328-1. Pages: 425-430. Year 2017. | Authors: Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis |
| A novel fitness function of metaheuristic algorithms for test data generation for Simulink models based on mutation analysis. | Article | The Journal of Systems and Software. No: ISSN 0164-1212, Vol. 120 Issue C. Pages: 17--30. Year 2016. | Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung |
| TTTEST : The Tool Support For Testing Interactive Multimodal Applications. | Article | In Proceedings of the international Conference on Electronic, Information and Comunication (ICEIC). No: Conf. Paper. Pages: 78-81. Year 2016. | Authors: Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis |
| Testing Multimodal Interactive Applications By Means of The TTT Language. | Article | Domain Specific Model-Based Approaches To Verification And Validation - Amaretto 2016, In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016. No: ISBN: 978-989-758-166-3. Pages: 23-32. Year 2016. | Authors: Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis |
| Improving Mutant Generation for Simulink Models using Genetic Algorithm. | Article | Proceeding of the International Conference on Electronics, Information and Communication (ICEIC). No: Conference paper. Pages: 103-106. Year 2016. | Authors: Nguyen Thi Ha Quyen, Khuat Thanh Tung, Le Thi My Hanh, Nguyen Thanh Binh |
| Survey on Mutation-based Test Data Generation. | Article | International Journal of Electrical and Computer Engineering (IJECE, ISSN: 2088-8708). No: Volume 5 Issue 5. Pages: 1164-1173. Year 2015. | Authors: Hanh Le Thi My, Binh Nguyen Thanh, Tung Khuat Thanh |
| A regression testing approach for Lustre/SCADE programs. | Article | SoICT 2015 The Sixth International Symposium on Information and Communication Technology. No: ISBN: 978-1-4503-3843-1. Pages: 288-303. Year 2015. | Authors: Trinh Cong Duy, Nguyen Thanh Bình, Ioannis Parissis |
| Applying the meta-heuristic algorithms for mutation-based Test data generation for Simulink models. | Article | Proceeding of the fifth international symposium on Information and Communication Technology (SoICT 2014). No: 978-1-4503-2930-9. Pages: 102-109. Year 2014. | Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung |
| Experimental study on software fault prediction using machine learning model. | Article | The Proceedings of 2019 11th International Conference on Knowledge and Systems Engineering ( KSE 2019). No: ISBN: 978-1-7281-3003-3. Pages: 386-390. Year 2019. | Authors: Thi Minh Phuong Ha, Duy Hung Tran, Le Thi My Hanh, Nguyen Thanh Binh |
| A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models. | Article | Knowledge and Systems Engineering - Advances in Intelligent Systems and Computing. No: 326. Pages: 169-181. Year 2014. | Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung |
| Combining feature selection, feature learning and ensemble learning for software fault prediction. | Article | The Proceedings of 2019 11th International Conference on Knowledge and Systems Engineering ( KSE 2019). No: ISBN: 978-1-7281-3003-3. Pages: 78-85. Year 2019. | Authors: Hung Duy Tran, Le Thi My Hanh, Nguyen Thanh Binh |
| Automatic generation of test cases in regression testing for Lustre/SCADE programs. | Article | Journal of Software Engineering and Applications. No: 6. Pages: 27-35. Year 2013. | Authors: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis |
| Mutation Operators for Simulink Models. | Article | Proceedings of the Fourth International Conference on Knowledge and Systems Engineering (KSE 2012). No: 4. Pages: 54-60. Year 2012. | Authors: Le Thi My Hanh, Nguyen Thanh Binh |
| Testability Analysis Approach For Reactive Systems. | Article | International Journal of Computer Science Issues. No: Vol. 8, Issue 6, No 2. Pages: 13-20. Year 2011. | Authors: Nguyễn Thanh Bình, Chantal Robach |
| Transition-Based Testability Analysis For Reactive Systems. | Article | Proceedings of the IEEE International Conference on Computer Science and Automation Engineering. No: Vol. 2 of 4. Pages: 551-558. Year 2011. | Authors: Nguyễn Thanh Bình, Michel Delaunay, Chantal Robachwalgreens pharmacy coupon link promo codes walgreens |
| Testability Analysis Integrated Into Scicos Development Environment. | Article | Proceedings of IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future. Year 2010. | Authors: Nguyễn Thanh Bình, Đặng Thiên Bình, Michel DELAUNAY, Chantal ROBACH |
| Mesure de Code Source des Logiciels Flots de Données. | Article | Actes de la troisième Conférence internationale associant chercheurs vietnamiens et francophones - RIVF'05. Year 2005. | Authors: Nguyễn Thanh Bình |
| Testability Analysis of Reactive Software. | Article | IWoTA 2004. Proceedings. First International Workshop on Testability Assessment. Year 2004. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Testability Analysis of Data-Flow Software. | Article | Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS'04). Year 2004. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Testing Criteria for Data Flow Software. | Article | Proceedings of the 10th Asia-Pacific Software Engineering Conference. Year 2003. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Testability Analysis and Its Application to Embedded Software. | Article | Proceedings of the International Conference on Software Quality. Year 2003. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Analyse de la Testabilité des Logiciels Flots de Données Synchrones. | Article | Actes de la première Conférence internationale associant chercheurs vietnamiens et francophones - RIVF'03. Year 2003. | Authors: Huy-Vu Do, Nguyễn Thanh Bình and C. Robach and M. Delaunay |
| Testing Strategies Using Accessibility for Data Flow Software. | Article | Proceedings of the 7th IASTED International Conference on Software Engineering and Applications. Year 2003. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| Testability Analysis For Software Components. | Article | Proceedings of the IEEE International Conference on Software Maintenance. Year 2002. | Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach |
| A New Test Modeling Language for Interactive Applications Based on Task Trees. | Article | Proceedings of the 4th Symposium on Information and Communication Technology (SoICT 2013). No: ISBN 978-1-4503-2454-0. Pages: 285-293. Year 2013. | Authors: Lê Thanh Long, Nguyễn Thanh Bình, Ioannis Parissis |
| Mutation Testing Applied to Hardware: the Mutants Generation. | Article | Proceedings of the 11th IFIP International Conference on Very Large Scale Integration. Year 2001. | Authors: Nguyễn Thanh Bình and C. Robach |
Tạp chí
| Hình thức | Năm |
|---|
Sở hữu trí tuệ
Ngoại ngữ
Ngoại ngữ
Trình độ
Kinh nghiệm
Hội đồng
Cấp
Vai trò