共 13 条
[1]
BAXTER I, 2002, INT SOFTWARE QUALITY
[2]
COSTA JEC, 2004, INPUT GENERATION PAT
[3]
GROSS HG, 2003, P INT C INF TECHN PR
[4]
HAUBELT C, 2003, EVOLUTIONARY ALGORIT, P5
[5]
MALAIYA Y, 1994, P 5 INT S SOFTW REL, P69
[7]
Pohlheim H., GEATBX GENETIC EVOLU
[8]
POHLHEIM H, 2001, 2001 GEN EV COMP C L, P331
[9]
Testing the results of static worst-case execution-time analysis
[J].
19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS,
1998,
:134-143
[10]
Test case design based on Z and the classification-tree method
[J].
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS,
1997,
:81-90