-
1
-
-
33646190675
-
Testing temporal correctness of real-time systems - A new approach using genetic algorithms and cluster analysis
-
EuroSTAR98 Software Testing Analysis & Review, Munich Park Hilton
-
O'Sullivan, M., V̈ssner, S., Wegener, J.: Testing temporal correctness of real-time systems - a new approach using genetic algorithms and cluster analysis. In: EuroSTAR98 Software Testing Analysis & Review. Number 6 in EuroSTAR, Munich Park Hilton (1998) 397-418
-
(1998)
EuroSTAR
, vol.6
, pp. 397-418
-
-
O'Sullivan, M.1
V̈ssner, S.2
Wegener, J.3
-
2
-
-
0028166441
-
Experiments on the effectiveness of dataflow- And controlflow-based test adequacy criteria
-
Proceedings of the 16th International Conference on Software Engineering, IEEE
-
Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering. Number 16 in ICSE, IEEE (1994) 191-200
-
(1994)
ICSE
, vol.16
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.4
-
5
-
-
0011763896
-
Improving evolutionary testing by flag removal
-
Harman, M., Hu, L., Hierons, R., Baresel, A., Sthamer, H.: Improving evolutionary testing by flag removal. In: Genetic and Evolutionary Computation Conference (GECCO 2002). (2002)
-
(2002)
Genetic and Evolutionary Computation Conference (GECCO 2002)
-
-
Harman, M.1
Hu, L.2
Hierons, R.3
Baresel, A.4
Sthamer, H.5
-
6
-
-
33646168037
-
A data flow approach to testing object-oriented Javaprograms
-
Spitzer, C., Schmocker, U., Dang, V.N., eds., Berlin, Springer-Verlag London
-
Oster, N., Dorn, R.D.: A data flow approach to testing object-oriented Javaprograms. In Spitzer, C., Schmocker, U., Dang, V.N., eds.: Probabilistic Safety Assessment and Management (PSAM7/ESREL'04). Volume 2., Berlin, Springer-Verlag London (2004) 1114-1119
-
(2004)
Probabilistic Safety Assessment and Management (PSAM7/ESREL'04)
, vol.2
, pp. 1114-1119
-
-
Oster, N.1
Dorn, R.D.2
-
8
-
-
85013187726
-
Data flow coverage and the C language
-
ACM, ACM Press
-
Horgan, J.R., London, S.: Data flow coverage and the C language. In: Proceedings of the symposium on Testing, Analysis and Verification, ACM, ACM Press (1991) 87-97
-
(1991)
Proceedings of the Symposium on Testing, Analysis and Verification
, pp. 87-97
-
-
Horgan, J.R.1
London, S.2
-
10
-
-
84943239757
-
A hybrid genetic algorithm for school timetabling
-
McKay, B., Slaney, J., eds.: AI 2002: Advances in Artificial Intelligence, Heidelberg, Springer-Verlag
-
Wilke, P., Gröbner, M., Oster, N.: A hybrid genetic algorithm for school timetabling. In McKay, B., Slaney, J., eds.: AI 2002: Advances in Artificial Intelligence. Volume 2557 / 2002 of Lecture Notes in Computer Science., Heidelberg, Springer-Verlag (2002) 455-464
-
(2002)
2002 of Lecture Notes in Computer Science
, vol.2557
, pp. 455-464
-
-
Wilke, P.1
Gröbner, M.2
Oster, N.3
-
11
-
-
33646205016
-
Multiobjective optimization using evolutionary algorithms - A comparative case study
-
Swiss Federal Institute of Technology Zurich, Computer Engineering and Communication Networks Laboratory (TIK), Gloriastrasse 35, CH-8092 Zurich, Switzerland
-
Zitzler, E., Thiele, L.: Multiobjective optimization using evolutionary algorithms - a comparative case study. Technical report, Swiss Federal Institute of Technology Zurich, Computer Engineering and Communication Networks Laboratory (TIK), Gloriastrasse 35, CH-8092 Zurich, Switzerland (1998)
-
(1998)
Technical Report
-
-
Zitzler, E.1
Thiele, L.2
-
13
-
-
33646152366
-
An experimental mutation system for Java
-
Proceedings of the Workshop on Empirical Research in Software Testing
-
Offutt, J., Ma, Y., Kwon, Y.: An experimental mutation system for Java. Proceedings of the Workshop on Empirical Research in Software Testing / ACM SIGSOFT Software Engineering Notes 29 (2004)
-
(2004)
ACM SIGSOFT Software Engineering Notes
, vol.29
-
-
Offutt, J.1
Ma, Y.2
Kwon, Y.3
|