{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T16:44:50Z","timestamp":1777653890603,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10710-006-9003-9","type":"journal-article","created":{"date-parts":[[2006,6,23]],"date-time":"2006-06-23T17:29:52Z","timestamp":1151083792000},"page":"145-170","source":"Crossref","is-referenced-by-count":52,"title":["Using genetic algorithms for early schedulability analysis and stress testing in real-time systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Lionel C.","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marwa","family":"Shousha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,24]]},"reference":[{"key":"9003_CR1","unstructured":"B. Beizer, Software Testing Techniques, 2nd edition, Van Nostrand Reinhold, 1990."},{"key":"9003_CR2","unstructured":"R. V. Binder, Testing Object-Oriented Systems\u2014Models, Patterns, and Tools, Object Technology, Addison-Wesley, 1999."},{"key":"9003_CR3","unstructured":"L. C. Briand, Y. Labiche, and M. Shousha, \u201cStress testing for real-time systems using genetic algorithms,\u201d Carleton University, Technical Report SCE-03-23, http:\/\/www.sce.carleton.ca\/Squall\/, September 2003."},{"key":"9003_CR4","doi-asserted-by":"crossref","unstructured":"A. E. Eiben, P. E. Raue, and Z. Ruttkay, \u201cSolving constraint satisfaction problems using genetic algorithms,\u201d in Proc. IEEE World Conference on Evolutionary Computing, 1994, pp. 542\u2013547.","DOI":"10.1109\/ICEC.1994.350002"},{"key":"9003_CR5","unstructured":"H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology, Addison Wesley, 2000."},{"key":"9003_CR6","unstructured":"M. G. Harbour, M. H. Klein, R. Obenza, B. Pollak, and T. Ralya, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems, Kluwer, 1993."},{"key":"9003_CR7","unstructured":"R. L. Haupt and S. E. Haupt, Practical Genetic Algorithms, Wiley-Interscience, 1998."},{"issue":"12","key":"9003_CR8","doi-asserted-by":"crossref","first-page":"1374","DOI":"10.1109\/12.817403","volume":"48","author":"M. A. Iverson","year":"1999","unstructured":"M. A. Iverson, F. Ozguner, and L. C. Potter, \u201cStatistical prediction of task execution times through analytic benchmarking for scheduling in a heterogeneous environment,\u201d IEEE Transactions on Computers, vol. 48, no. 12, pp. 1374\u20131379, 1999.","journal-title":"IEEE Transactions on Computers"},{"key":"9003_CR9","unstructured":"J. W. S. Liu, Real-Time Systems, Prentice Hall, 2000."},{"key":"9003_CR10","doi-asserted-by":"crossref","unstructured":"C. D. Locke, D. R. Vogel, and T. J. Mesler, \u201cBuilding a predictable avionics platform in ada: A case study,\u201d in Proc. IEEE Real Time Systems Symposium, 1991, pp. 181\u2013189.","DOI":"10.1109\/REAL.1991.160372"},{"issue":"1","key":"9003_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-8191(94)00071-H","volume":"21","author":"S. W. Mahfoud","year":"1995","unstructured":"S. W. Mahfoud and D. E. Goldberg, \u201cParallel recombinative simulated annealing: A genetic Algorithm,\u201d Parallel Computing, vol. 21, no. 1, pp. 1\u201328, 1995.","journal-title":"Parallel Computing"},{"key":"9003_CR12","doi-asserted-by":"crossref","unstructured":"Z. Michalewicz, Genetic Algorithms + Data Structures = Evolution Programs, Springer, 1996.","DOI":"10.1007\/978-3-662-03315-9"},{"key":"9003_CR13","doi-asserted-by":"crossref","unstructured":"F. Mueller and J. Wegener, \u201cA Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints,\u201d in Proc. IEEE Real Time Technology and Applications Symposium, 1998, pp. 179\u2013188.","DOI":"10.1109\/RTTAS.1998.683198"},{"key":"9003_CR14","unstructured":"M. A. Pawlowsky, \u201cCrossover Operators,\u201d in Practical Handbook of Genetic Algorithms Applications, L. Chambers (ed.), CRC Press, 1995, vol. 1, pp. 101\u2013114."},{"key":"9003_CR15","unstructured":"J. D. Schaffer, R. A. Caruna, L. J. Eshelman, and R. Das, \u201cA study of control parameters affecting online performance of genetic algorithms for function optimization,\u201d in Proc. International Conference on Genetic Algorithms and Their Applications, 1989, pp. 51\u201360."},{"key":"9003_CR16","doi-asserted-by":"crossref","unstructured":"L. Sha and J. B. Goodenough, \u201cReal-time scheduling theory and ada,\u201d Software Engineering Institute, Technical Report CMU\/SEI-89-TR-014, 1989.","DOI":"10.21236\/ADA211397"},{"key":"9003_CR17","doi-asserted-by":"crossref","unstructured":"J. E. Smith and T. C. Fogarty, \u201cAdaptively parameterized evolutionary systems: Self adaptive recombination and mutation in a genetic algorithm,\u201d in Parallel Problem Solving From Nature,Voigt, Ebeling, Rechenberg, and Schwefel, (eds.), 1996, vol. 4, pp. 441\u2013450.","DOI":"10.1007\/3-540-61723-X_1008"},{"key":"9003_CR18","unstructured":"B. Sprunt, Aperiodic Task Scheduling for Real-Time Systems, Ph.D. Thesis, Carnegie Mellon, Department of Electrical and Computer Engineering, 1990."},{"key":"9003_CR19","doi-asserted-by":"crossref","unstructured":"B. Sprunt, L. Sha, and J. Lehoczky, \u201cAperiodic task scheduling for hard real-time systems,\u201d Real-Time Systems, vol. 11, pp. 27\u201360, 1989.","DOI":"10.1007\/BF02341920"},{"key":"9003_CR20","doi-asserted-by":"crossref","unstructured":"N. Tracey, J. A. Clark, K. C. Mander, and J. A. McDermid, \u201cAn automated framework for structural test-data generation,\u201d Proc. IEEE Conference on Automated Software Engineering, 1989, pp. 285\u2013288.","DOI":"10.1109\/ASE.1998.732680"},{"key":"9003_CR21","unstructured":"M. Wall, \u201cGAlib: A C++ Library of Genetic Algorithm Components,\u201d Massachusetts Institute of Technology, http:\/\/lancet.mit.edu\/ga\/dist\/galibdoc.pdf, August, 1996."},{"key":"9003_CR22","doi-asserted-by":"crossref","unstructured":"J. Zhang and S. C. Cheung, \u201cAutomated test case generation for the stress testing of multimedia systems,\u201d Software\u2014Practice and Experience, vol. 32 15, pp. 1411\u20131435, 2002.","DOI":"10.1002\/spe.487"},{"key":"9003_CR23","unstructured":"B. J. Jain, H. Pohlheim, and J. Wegener, \u201cOn termination criteria of evolutionary algorithms,\u201d in Proc. Genetic and Evolutionary Computation Conference, 2001, p. 768."}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-006-9003-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10710-006-9003-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-006-9003-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T15:02:26Z","timestamp":1736434946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10710-006-9003-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["9003"],"URL":"https:\/\/doi.org\/10.1007\/s10710-006-9003-9","relation":{},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"value":"1389-2576","type":"print"},{"value":"1573-7632","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}