Bibliography

1

AHO, A. V., SETHI, R., AND ULLMAN, J. D.
Compilers: Principles, techniques and tools.
Addison Wesley, 1986.

2

BENNETT, K., BULL, T., YOUNGER, E., AND LUO, Z.
Bylands: reverse engineering safety-critical systems.
In IEEE International Conference on Software Maintenance (1995), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 358-366.

3

BRITISH STANDARDS INSTITUTE.
BS 7925-2 software component testing, 1998.

4

HARMAN, M., AND DANICIC, S.
Using program slicing to simplify testing.
Software Testing, Verification and Reliability 5, 3 (Sept. 1995), 143-162.

5

HIERONS, R. M., HARMAN, M., AND DANICIC, S.
Using program slicing to assist in the detection of equivalent mutants.
Software Testing, Verification and Reliability 9, 4 (1999), 233-262.

6

JONES, B., STHAMER, H.-H., AND EYRES, D.
Automatic structural testing using genetic algorithms.
The Software Engineering Journal 11 (1996), 299-306.

7

JONES, B. F., EYRES, D. E., AND STHAMER, H. H.
A strategy for using genetic algorithms to automate branch and fault-based testing.
The Computer Journal 41, 2 (1998), 98-107.

8

MICHAEL, C., MCGRAW, G., AND SCHATZ, M.
Generating software test data by evolution.
IEEE Transactions on Software Engineering, 12 (Dec. 2001), 1085-1110.

9

MUELLER, F., AND WEGENER, J.
A comparison of static analysis and evolutionary testing for the verification of timing constraints.
In 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98) (Washington - Brussels - Tokyo, June 1998), IEEE, pp. 144-154.

10

PARGAS, R. P., HARROLD, M. J., AND PECK, R. R.
Test-data generation using genetic algorithms.
The Journal of Software Testing, Verification and Reliability 9 (1999), 263-282.

11

POHLHEIM, H., AND WEGENER, J.
Testing the temporal behavior of real-time software modules using extended evolutionary algorithms.
In Proceedings of the Genetic and Evolutionary Computation Conference (Orlando, Florida, USA, 13-17 July 1999), W. Banzhaf, J. Daida, A. E. Eiben, M. H. Garzon, V. Honavar, M. Jakiela, and R. E. Smith, Eds., vol. 2, Morgan Kaufmann, p. 1795.

12

RADIO TECHNICAL COMMISSION FOR AERONAUTICS.
RTCA DO178-B Software considerations in airborne systems and equipment certification, 1992.

13

RYAN, C., AND WALSH, P.
The evolution of provable parallel programs.
In Genetic Programming 1997: Proceedings of the Second Annual Conference (Stanford University, CA, USA, 13-16 July 1997), J. R. Koza, K. Deb, M. Dorigo, D. B. Fogel, M. Garzon, H. Iba, and R. L. Riolo, Eds., Morgan Kaufmann, pp. 295-302.

14

TRACEY, N., CLARK, J., AND MANDER, K.
The way forward for unifying dynamic test-case generation: The optimisation-based approach.
In International Workshop on Dependable Computing and Its Applications (DCIA) (January 1998), IFIP, pp. 169-180.

15

WARD, M.
Reverse engineering through formal transformation.
The Computer Journal 37, 5 (1994).

16

WARD, M., CALLISS, F. W., AND MUNRO, M.
The maintainer's assistant.
In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.

17

WEGENER, J., GRIMM, K., GROCHTMANN, M., STHAMER, H., AND JONES, B. F.
Systematic testing of real-time systems.
In 4th International Conference on Software Testing Analysis and Review (EuroSTAR 96) (1996).

18

WEGENER, J., STHAMER, H., JONES, B. F., AND EYRES, D. E.
Testing real-time systems using genetic algorithms.
Software Quality 6 (1997), 127-135.

19

WILLIAMS, K. P.
Evolutionary Algorithms for Automatic Parallelization.
PhD thesis, University of Reading, UK, Department of Computer Science, Sept. 1998.