共 50 条
- [21] Test-Data Generation Guided by Static Defect Detection Journal of Computer Science and Technology, 2009, 24 : 284 - 293
- [23] Test Data Generation for Event-B Models Using Genetic Algorithms SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 76 - 90
- [24] Search based automatic test-data generation at an architectural level GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 1413 - 1424
- [25] Automated test-data generation from formal models of software 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 438 - 438
- [26] Test-Data Generation for Web Services Based on Contract Mutation 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 281 - 286
- [28] Software Security Test Data Generation Based on Genetic Algorithms 2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 369 - 372
- [29] Dynamic test data generation for the nonlinear models with genetic algorithms Device Applications of Nonlinear Dynamics, 2006, : 229 - 235