![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Yuan Zhan, John A. Clark: A search-based framework for automatic testing of MATLAB/Simulink models. Journal of Systems and Software 81(2): 262-285 (2008) |
2006 | ||
4 | EE | Yuan Zhan, John A. Clark: The state problem for test generation in Simulink. GECCO 2006: 1941-1948 |
2005 | ||
3 | EE | Yuan Zhan, John A. Clark: Search-based mutation testing for Simulink models. GECCO 2005: 1061-1068 |
2004 | ||
2 | EE | Yuan Zhan, John A. Clark: Search Based Automatic Test-Data Generation at an Architectural Level. GECCO (2) 2004: 1413-1424 |
2002 | ||
1 | EE | Yuan Zhan: Constraint Solving in Test-Data Generation. CP 2002: 770-771 |
1 | John A. Clark (John Andrew Clark) | [2] [3] [4] [5] |