共 50 条
- [21] Towards an Automated Test Generation for the Verification of Model Transformations [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 998 - 1005
- [22] Circuit design using evolutionary algorithms [J]. CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2002, : 1904 - 1909
- [24] Using software engineering knowledge to drive genetic program design using cultural algorithms - Exploiting the synergy of software engineering knowledge in evolutionary design [J]. GENETIC PROGRAMMING THEORY AND PRACTICE, 2003, 6 : 63 - 80
- [27] Towards automated software model checking using graph transformation systems and Bogor [J]. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A, 2009, 10 (08): : 1093 - 1105
- [28] Towards automated software model checking using graph transformation systems and Bogor [J]. Journal of Zhejiang University-SCIENCE A, 2009, 10 : 1093 - 1105
- [30] Using evolutionary algorithms to suggest variable transformations in linear model lack-of-fit situations [J]. CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2004, : 556 - 560