Thanh Binh Nguyen

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Topics

Genetic Algorithm Ga

Test Data Generation

Fitness Evaluation

Evolutionary Search

Top Venues

J. Syst. Softw.

Publications

Le Thi My Hanh, Thanh Binh Nguyen, Khuat Thanh Tung
A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis. J. Syst. Softw. 120 (2016)
Le Thi My Hanh, Thanh Binh Nguyen, Khuat Thanh Tung
A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models. KSE (2014)
Le Thi My Hanh, Thanh Binh Nguyen, Khuat Thanh Tung
Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models. SoICT (2014)
Le Thi My Hanh, Thanh Binh Nguyen
Mutation Operators for Simulink Models. KSE (2012)
Thanh Binh Nguyen, Dang Thien Binh, Michel Delaunay, Chantal Robach
Testability Analysis Integrated into Scicos Development Environment. RIVF (2010)
Thi-Thanh-Ha Hoang, Michel Occello, Thanh Binh Nguyen
Applying Type Theory to Formal Specification of Recursive Multiagent Systems. RIVF (2009)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis of Data-Flow Software. Electron. Notes Theor. Comput. Sci. 116 (2005)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis Applied to Embedded Data-flow Software. QSIC (2003)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testing Criteria for Data Flow Software. APSEC (2003)
Huy-Vu Do, Thanh Binh Nguyen, Chantal Robach, Michel Delaunay
Analyse de la Testabilité des Logiciels Flots de Données Synchrones. RIVF (2003)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis for Software Components. ICSM (2002)