Next:
Contents
Up:
TeTra: Testability Transformation
Previous:
Project Management
 
Contents
Next:
Contents
Up:
TeTra: Testability Transformation
Previous:
Project Management
 
Contents
Bibliography
1
A
HO,
A. V., S
ETHI,
R.,
AND
U
LLMAN,
J. D.
Compilers: Principles, techniques and tools
.
Addison Wesley, 1986.
2
B
ENNETT,
K., B
ULL,
T., Y
OUNGER,
E.,
AND
L
UO,
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
B
RITISH
S
TANDARDS
I
NSTITUTE
.
BS 7925-2 software component testing, 1998.
4
H
ARMAN,
M.,
AND
D
ANICIC,
S.
Using program slicing to simplify testing.
Software Testing, Verification and Reliability 5
, 3 (Sept. 1995), 143-162.
5
H
IERONS,
R. M., H
ARMAN,
M.,
AND
D
ANICIC,
S.
Using program slicing to assist in the detection of equivalent mutants.
Software Testing, Verification and Reliability 9
, 4 (1999), 233-262.
6
J
ONES,
B., S
THAMER,
H.-H.,
AND
E
YRES,
D.
Automatic structural testing using genetic algorithms.
The Software Engineering Journal 11
(1996), 299-306.
7
J
ONES,
B. F., E
YRES,
D. E.,
AND
S
THAMER,
H. H.
A strategy for using genetic algorithms to automate branch and fault-based testing.
The Computer Journal 41
, 2 (1998), 98-107.
8
M
ICHAEL,
C., M
C
G
RAW
, G.,
AND
S
CHATZ,
M.
Generating software test data by evolution.
IEEE Transactions on Software Engineering
, 12 (Dec. 2001), 1085-1110.
9
M
UELLER,
F.,
AND
W
EGENER,
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
P
ARGAS,
R. P., H
ARROLD,
M. J.,
AND
P
ECK,
R. R.
Test-data generation using genetic algorithms.
The Journal of Software Testing, Verification and Reliability 9
(1999), 263-282.
11
P
OHLHEIM,
H.,
AND
W
EGENER,
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
R
ADIO
T
ECHNICAL
C
OMMISSION FOR
A
ERONAUTICS
.
RTCA DO178-B Software considerations in airborne systems and equipment certification, 1992.
13
R
YAN,
C.,
AND
W
ALSH,
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
T
RACEY,
N., C
LARK,
J.,
AND
M
ANDER,
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
W
ARD,
M.
Reverse engineering through formal transformation.
The Computer Journal 37
, 5 (1994).
16
W
ARD,
M., C
ALLISS,
F. W.,
AND
M
UNRO,
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
W
EGENER,
J., G
RIMM,
K., G
ROCHTMANN,
M., S
THAMER,
H.,
AND
J
ONES,
B. F.
Systematic testing of real-time systems.
In
4th International Conference on Software Testing Analysis and Review (EuroSTAR 96)
(1996).
18
W
EGENER,
J., S
THAMER,
H., J
ONES,
B. F.,
AND
E
YRES,
D. E.
Testing real-time systems using genetic algorithms.
Software Quality 6
(1997), 127-135.
19
W
ILLIAMS,
K. P.
Evolutionary Algorithms for Automatic Parallelization
.
PhD thesis, University of Reading, UK, Department of Computer Science, Sept. 1998.
Mark Harman, Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH.