-
2
-
-
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
, Issue.6
, pp. 397-418
-
-
O'Sullivan, M.1
Vössner, S.2
Wegener, J.3
-
3
-
-
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
, Issue.16
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.4
-
6
-
-
3142761074
-
Automatic test data generation for structural testing of embedded software systems by evolutionary testing
-
Langdon, W.B., et al, E.C.P., eds.: New York, Morgan Kaufmann Publishers
-
Wegener, J., Buhr, K., Pohlheim, H.: Automatic test data generation for structural testing of embedded software systems by evolutionary testing. In Langdon, W.B., et al, E.C.P., eds.: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, New York, Morgan Kaufmann Publishers (2002) 1233-1240
-
(2002)
GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference
, pp. 1233-1240
-
-
Wegener, J.1
Buhr, K.2
Pohlheim, H.3
-
7
-
-
33750983299
-
Applying evolutionary testing to search for critical defects
-
Deb, K., et al, R.P., eds.: Genetic and Evolutionary Computation - GECCO-2004, Part II. Heidelberg, ISGEC, Springer-Verlag
-
Baresel, A., Sthamer, H., Wegener, J.: Applying evolutionary testing to search for critical defects. In Deb, K., et al, R.P., eds.: Genetic and Evolutionary Computation - GECCO-2004, Part II. Volume 3103 of Lecture Notes in Computer Science., Heidelberg, ISGEC, Springer-Verlag (2004) 1427-1428
-
(2004)
Lecture Notes in Computer Science
, vol.3103
, pp. 1427-1428
-
-
Baresel, A.1
Sthamer, H.2
Wegener, J.3
-
8
-
-
33646139636
-
Control and data flow testing on function block diagramms
-
Winther, R., Gran, B.A., Dahll, G., eds.: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005. Berlin Heidelberg, Springer Verlag GmbH
-
Jee, E., Yoo, J., Cha, S.: Control and data flow testing on function block diagramms. In Winther, R., Gran, B.A., Dahll, G., eds.: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005. Volume 3688 / 2005 of Lecture Notes in Computer Science (LNCS)., Berlin Heidelberg, Springer Verlag GmbH (2005) 67-80
-
(2005)
Lecture Notes in Computer Science (LNCS)
, vol.3688
, Issue.2005
, pp. 67-80
-
-
Jee, E.1
Yoo, J.2
Cha, S.3
-
9
-
-
0022043004
-
Selecting software test data using data flow information
-
Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering SE-11(4) (1985) 367-375
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
10
-
-
0019715739
-
On testing with required elements
-
Chicago, IEEE Computer Society
-
Ntafos, S.C.: On testing with required elements. In: Proceedings of COMPSAC '81, Chicago, IEEE Computer Society (1981) 132-139
-
(1981)
Proceedings of COMPSAC '81
, pp. 132-139
-
-
Ntafos, S.C.1
-
12
-
-
84987239158
-
Data flow-based test adequacy analysis for languages with pointers
-
New York, ACM, ACM Press
-
Ostrand, T.J., Weyuker, E.J.: Data flow-based test adequacy analysis for languages with pointers. In: Proceedings of the Symposium on Testing, Analysis, and Verification, New York, ACM, ACM Press (1991) 74-86
-
(1991)
Proceedings of the Symposium on Testing, Analysis, and Verification
, pp. 74-86
-
-
Ostrand, T.J.1
Weyuker, E.J.2
-
13
-
-
0032661202
-
Relevant context inference
-
New York, ACM, ACM Press
-
Chatterjee, R., Ryder, B.G., Landi, W.A.: Relevant context inference. In: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, ACM, ACM Press (1999) 133-146
-
(1999)
Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 133-146
-
-
Chatterjee, R.1
Ryder, B.G.2
Landi, W.A.3
-
14
-
-
0003645257
-
-
Technical Report DCS-TR-433, Department of Computer Science, Rutgers University, New Jersey
-
Chatterjee, R., Ryder, B.C.: Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-433, Department of Computer Science, Rutgers University, New Jersey (2001)
-
(2001)
Data-flow-based Testing of Object-oriented Libraries
-
-
Chatterjee, R.1
Ryder, B.C.2
-
15
-
-
33646168037
-
A data flow approach to testing object-oriented Java-programs
-
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 Java-programs. In Spitzer, C., Schmocker, U., Dang, V.N., eds.: Probabilistic Safety Assessment and Management (PSAM7/ESREU04), Volume 2., Berlin, Springer-Verlag London (2004) 1114-1119
-
(2004)
Probabilistic Safety Assessment and Management (PSAM7/ESREU04)
, vol.2
, pp. 1114-1119
-
-
Oster, N.1
Dorn, R.D.2
-
17
-
-
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)
Lecture Notes in Computer Science
, vol.2557
, Issue.2002
, pp. 455-464
-
-
Wilke, P.1
Gröbner, M.2
Oster, N.3
-
18
-
-
0000852513
-
Multiobjective optimization using nondominated sorting in genetic algorithms
-
Srinivas, N., Deb, K.: Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation 2(3) (1994) 221-248
-
(1994)
Evolutionary Computation
, vol.2
, Issue.3
, pp. 221-248
-
-
Srinivas, N.1
Deb, K.2
-
19
-
-
33646205016
-
-
Technical report, 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)
Multiobjective Optimization Using Evolutionary Algorithms - A Comparative Case Study
-
-
Zitzler, E.1
Thiele, L.2
|