Testability Analysis for Software Components. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (ICSM, 2002)

Testing Criteria for Data Flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (APSEC, 2003)

Testability Analysis Applied to Embedded Data-flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (QSIC, 2003)

Analyse de la Testabilité des Logiciels Flots de Données Synchrones. - Huy-Vu Do; Nguyen Thanh Binh 002; Chantal Robach; Michel Delaunay (RIVF, 2003)

Testability Analysis of Data-Flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (TACoS, 2004)

Applying Type Theory to Formal Specification of Recursive Multiagent Systems. - Thi-Thanh-Ha Hoang; Michel Occello; Nguyen Thanh Binh 002 (RIVF, 2009)

Testability Analysis Integrated into Scicos Development Environment. - Nguyen Thanh Binh 002; Dang Thien Binh; Michel Delaunay; Chantal Robach (RIVF, 2010)

Mutation Operators for Simulink Models. - Le Thi My Hanh; Nguyen Thanh Binh 002 (KSE, 2012)

A new test modeling language for interactive applications based on task trees. - Le Thanh Long; Nguyen Thanh Binh 002; Ioannis Parissis (SoICT, 2013)

A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models. - Le Thi My Hanh; Nguyen Thanh Binh 002; Khuat Thanh Tung (KSE, 2014)

Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models. - Le Thi My Hanh; Nguyen Thanh Binh 002; Khuat Thanh Tung (SoICT, 2014)

A regression testing approach for Lustre/SCADE programs. - Trinh Cong Duy; Nguyen Thanh Binh 002; Ioannis Parissis (SoICT, 2015)

Testing Multimodal Interactive Applications by Means of the TTT Language. - Le Thanh Long; Nguyen Thanh Binh 002; Ioannis Parissis (AMARETTO@MODELSWARD, 2016)

Automatically Testing of Multimodal Interactive Applications. - Le Thanh Long; Nguyen Thanh Binh 002; Ioannis Parissis (MODELSWARD (Revised Selected Papers), 2016)

A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis. - Le Thi My Hanh; Nguyen Thanh Binh 002; Khuat Thanh Tung (J. Syst. Softw., 2016)

An evolutionary algorithm for discovering multi-relational association rules in the semantic web. - Duc Minh Tran; Claudia d'Amato; Nguyen Thanh Binh 002; Andrea G. B. Tettamanzi (GECCO, 2017)

Mutants Generation For Testing Lustre Programs. - Le Van Phol; Nguyen Thanh Binh 002; Ioannis Parissis (SoICT, 2017)

Comparing Rule Evaluation Metrics for the Evolutionary Discovery of Multi-relational Association Rules in the Semantic Web. - Duc Minh Tran; Claudia d'Amato; Nguyen Thanh Binh 002; Andrea G. B. Tettamanzi (EuroGP, 2018)

Experimental Study on Software Fault Prediction Using Machine Learning Model. - Thi Minh Phuong Ha; Duy Hung Tran; Le Thi My Hanh; Nguyen Thanh Binh 002 (KSE, 2019)

Combining feature selection, feature learning and ensemble learning for software fault prediction. - Hung Duy Tran; Le Thi My Hanh; Nguyen Thanh Binh 002 (KSE, 2019)

Neural Network-Based Generation of Test Data for Interactive Multimodal Applications. - Le Thanh Long; Nguyen Thanh Binh 002; Ioannis Parissis (RIVF, 2019)

A Solution For Improving The Effectiveness of Higher Order Mutation Testing. - Van-Nho Do; Quang-Vu Nguyen 001; Nguyen Thanh Binh 002 (RIVF, 2019)

Experience Report on Developing a Crowdsourcing Test Platform for Mobile Applications. - Nguyen Thanh Binh 002; Mariem Allagui; Oum-El-Kheir Aktouf; Ioannis Parissis; Le Thi Thanh Binh (ICCCI (CCIS Volume), 2020)

Evaluating Mutation Operator and Test Case Effectiveness by Means of Mutation Testing. - Van-Nho Do; Quang-Vu Nguyen 001; Nguyen Thanh Binh 002 (ACIIDS, 2021)

Toward Improving the Quality of Mutation Operator and Test Case Effectiveness in Higher-Order Mutation Testing. - Van-Nho Do; Quang-Vu Nguyen 001; Nguyen Thanh Binh 002 (Vietnam. J. Comput. Sci., 2022)

Predicting higher order mutation score based on machine learning. - Van-Nho Do; Quang-Vu Nguyen 001; Nguyen Thanh Binh 002 (J. Inf. Telecommun., 2024)