-
1
-
-
0004060273
-
-
Academic Press
-
Dijkstra, E. W., Dahl, O. J., Hoare, C. A. R.: Structured programming, Academic Press., 1972.
-
(1972)
Structured Programming
-
-
Dijkstra, E.W.1
Dahl, O.J.2
Hoare, C.A.R.3
-
2
-
-
0032204373
-
Verifying timing constraints of real-time systems by means of Evolutionary Testing
-
Kluwer Academic Publishers
-
Wegener, J., and Grochtmann, M.: Verifying timing constraints of real-time systems by means of Evolutionary Testing. Real-Time, Systems, vol. 15, no. 3, Kluwer Academic Publishers, pp. 275-298, 1998.
-
(1998)
Real-time, Systems
, vol.15
, Issue.3
, pp. 275-298
-
-
Wegener, J.1
Grochtmann, M.2
-
3
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
Jones, B.-R, Sthamer: H.-H., Eyres, D.: Automatic structural testing using genetic algorithms. Software Engineering Journal, vol. 11, no. 5, pp. 299-306, 1996.
-
(1996)
Software Engineering Journal
, vol.11
, Issue.5
, pp. 299-306
-
-
Jones, B.-R.1
Sthamer, H.-H.2
Eyres, D.3
-
4
-
-
0003429227
-
-
PhD Thesis, University of Glamorgan, Pontyprid, Wales, Great Britain
-
Sthamer, H.-H.: The automatic generation of software test data using genetic algorithms, PhD Thesis, University of Glamorgan, Pontyprid, Wales, Great Britain, 1996.
-
(1996)
The Automatic Generation of Software Test Data Using Genetic Algorithms
-
-
Sthamer, H.-H.1
-
5
-
-
85032873485
-
An automated framework for structural test-data generation
-
Hawaii, USA
-
Tracey, N., Clark, J., Mander, K. and McDermid, J.: An automated framework for structural test-data generation. Proceedings of the 13th IEEE Conference on Automated Software Engineering, Hawaii, USA 1998.
-
(1998)
Proceedings of the 13th IEEE Conference on Automated Software Engineering
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
McDermid, J.4
-
6
-
-
32444447906
-
Evolutionary functional testing of an automated parking system
-
Orlando, Florida, USA
-
Buehler, O. and Wegener, J.: Evolutionary functional testing of an automated parking system. Proceedings of the International Conference on Computer, Communication and Control Technologies and the 9th. International Conference on Information Systems Analysis and Synthesis, Orlando, Florida, USA, 2003.
-
(2003)
Proceedings of the International Conference on Computer, Communication and Control Technologies and the 9th. International Conference on Information Systems Analysis and Synthesis
-
-
Buehler, O.1
Wegener, J.2
-
7
-
-
85072431999
-
Automatic testing of an autonomous parking system using evolutionary computation
-
Detroit, USA
-
Buehler, O. and Wegener, J.: Automatic testing of an autonomous parking system using evolutionary computation. SAE World Congress, Detroit, USA, 2004.
-
(2004)
SAE World Congress
-
-
Buehler, O.1
Wegener, J.2
-
8
-
-
40249109277
-
Evolutionary functional testing of a vehicle brake assistant system
-
Vienna, Austria
-
Buehler, O. and Wegener, J.: Evolutionary functional testing of a vehicle brake assistant system. 6th Metaheuristics International Conference, Vienna, Austria, 2005.
-
(2005)
6th Metaheuristics International Conference
-
-
Buehler, O.1
Wegener, J.2
-
10
-
-
3142725712
-
Search-based software test data generation: A survey
-
McMinn, P.: Search-based software test data generation: a survey. Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
11
-
-
0035501757
-
A comparison of static analysis and evolutionary testing for the verification of timing constraints
-
Wegener, J. and Mueller, F.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems, vol. 21, no. 3, pp. 241-268, 2001.
-
(2001)
Real-Time Systems
, vol.21
, Issue.3
, pp. 241-268
-
-
Wegener, J.1
Mueller, F.2
-
12
-
-
0032299360
-
Testing the results of static worst-case execution-time analysis
-
Madrid, Spain
-
Puschner, P. and Nossal, R.: Testing the results of static worst-case execution-time analysis. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 134-143, Madrid, Spain, 1998.
-
(1998)
Proceedings of the 19th IEEE Real-time Systems Symposium
, pp. 134-143
-
-
Puschner, P.1
Nossal, R.2
-
13
-
-
0002541414
-
The way forward for unifying dynamic test-case generation: The optimisation-based approach
-
Tracey, N., Clark, J. and Mander, K.: The way forward for unifying dynamic test-case generation: The optimisation-based approach. International Workshop on Dependable Computing and Its Applications, pp. 169-180, 1998.
-
(1998)
International Workshop on Dependable Computing and Its Applications
, pp. 169-180
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
14
-
-
3142771457
-
Evolutionary testing in component-based real-time system construction
-
Proceedings of the Genetic and Evolutionary Computation Conference New York, USA
-
Gross, H.-G.: Evolutionary testing in component-based real-time system construction. In Proceedings of the Genetic and Evolutionary Computation Conference. Late Breaking Papers, pp. 207-214, New York, USA, 2002.
-
(2002)
Late Breaking Papers
, pp. 207-214
-
-
Gross, H.-G.1
-
15
-
-
0011763896
-
Improving evolutionary testing by flag removal
-
New York, USA, Morgan Kaufmann
-
Harman, M., Hu, L., Hierons, R., Baresel, A. and Sthamer, H.: Improving evolutionary testing by flag removal. In Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1359-1366, New York, USA, 2002. Morgan Kaufmann.
-
(2002)
Proceedings of the Genetic and Evolutionary Computation Conference
, pp. 1359-1366
-
-
Harman, M.1
Hu, L.2
Hierons, R.3
Baresel, A.4
Sthamer, H.5
-
16
-
-
35248870635
-
Evolutionary testing of flag conditions
-
Proceedings of the Genetic and Evolutionary Computation Conference, Chicago, USA, Springer-Verlag
-
Baresel, A. and Sthamer, H.: Evolutionary testing of flag conditions. In Proceedings of the Genetic and Evolutionary Computation Conference, Lecture Notes in Computer Science 2724, pp. 2442-2454, Chicago, USA, 2003. Springer-Verlag.
-
(2003)
Lecture Notes in Computer Science
, vol.2724
, pp. 2442-2454
-
-
Baresel, A.1
Sthamer, H.2
-
17
-
-
84962145153
-
VADA: A transformation-based system for variable dependence analysis
-
Montreal, Canada
-
Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., and Wegener, J.: VADA: A transformation-based system for variable dependence analysis. 2nd IEEE International Workshop on Source Code Analysis and Manipulation, pp. 55-64, Montreal, Canada, 2002.
-
(2002)
2nd IEEE International Workshop on Source Code Analysis and Manipulation
, pp. 55-64
-
-
Harman, M.1
Fox, C.2
Hierons, R.3
Hu, L.4
Danicic, S.5
Wegener, J.6
-
18
-
-
35248831654
-
The state problem for evolutionary testing
-
Proceedings of the Genetic and Evolutionary Computation Conference, Chicago, USA, Springer-Verlag
-
McMinn, P. and Holcombe, M.: The state problem for evolutionary testing. In Proceedings of the Genetic and Evolutionary Computation Conference, Lecture Notes in Computer Science 2274, pages 2488-2497, Chicago, USA, 2003. Springer-Verlag.
-
(2003)
Lecture Notes in Computer Science
, vol.2274
, pp. 2488-2497
-
-
McMinn, P.1
Holcombe, M.2
|