{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:10:06Z","timestamp":1746385806925,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662450482"},{"type":"electronic","value":"9783662450499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45049-9_1","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T10:07:14Z","timestamp":1411121234000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm"],"prefix":"10.1007","author":[{"given":"Maxim","family":"Buzdalov","sequence":"first","affiliation":[]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Source code for experiments (a part of this paper), https:\/\/github.com\/mbuzdalov\/papers\/tree\/master\/2014-bicta-knapsacks"},{"key":"1_CR2","unstructured":"Alander, J.T., Mantere, T., Moghadampour, G.: Testing Software Response Times Using a Genetic Algorithm. In: Proceedings of the 3rd Nordic Workshop on Genetic Algorithms and their Applications, pp. 293\u2013298 (1997)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Alander, J.T., Mantere, T., Turunen, P.: Genetic Algorithm based Software Testing. In: Proceedings of the 3rd International Conference on Artificial Neural Networks and Genetic Algorithms, Norwich, UK, pp. 325\u2013328 (April 1997)","DOI":"10.1007\/978-3-7091-6492-1_71"},{"key":"1_CR4","unstructured":"Alander, J.T., Mantere, T., Turunen, P., Virolainen, J.: GA in Program Testing. In: Proceedings of the 2nd Nordic Workshop on Genetic Algorithms and their Applications, Vaasa, Finland, August 19-23, pp. 205\u2013210 (1996)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Arkhipov, V., Buzdalov, M., Shalyto, A.: Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms. In: Proceedings of the International Conference on Machine Learning and Applications, vol.\u00a02, pp. 108\u2013111. IEEE Computer Society (2013)","DOI":"10.1109\/ICMLA.2013.180"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Buzdalov, M.: Generation of Tests for Programming Challenge Tasks on Graph Theory using Evolution Strategy. In: Proceedings of the International Conference on Machine Learning and Applications, vol.\u00a02, pp. 62\u201365. IEEE Computer Society (2012)","DOI":"10.1109\/ICMLA.2012.194"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-39742-4_28","volume-title":"Search Based Software Engineering","author":"A. Buzdalova","year":"2013","unstructured":"Buzdalova, A., Buzdalov, M., Parfenov, V.: Generation of Tests for Programming Challenge Tasks Using Helper-Objectives. In: Ruhe, G., Zhang, Y. (eds.) SSBSE 2013. LNCS, vol.\u00a08084, pp. 300\u2013305. Springer, Heidelberg (2013)"},{"issue":"6","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1287\/opre.28.6.1402","volume":"28","author":"V. Chvatal","year":"1980","unstructured":"Chvatal, V.: Hard Knapsack Problems. Operations Research\u00a028(6), 1402\u20131411 (1980)","journal-title":"Operations Research"},{"key":"1_CR9","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1979)"},{"issue":"14","key":"1_CR10","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1016\/S0950-5849(01)00191-4","volume":"43","author":"H.G. Gross","year":"2001","unstructured":"Gross, H.G.: A Prediction System for Evolutionary Testability Applied to Dynamic Execution Time Analysis. Information and Software Technology\u00a043(14), 855\u2013862 (2001)","journal-title":"Information and Software Technology"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1049\/ip-sen:20000525","volume":"147","author":"H.G. Gross","year":"2000","unstructured":"Gross, H.G., Jones, B.F., Eyres, D.E.: Structural Performance Measure of Evolutionary Testing Applied to Worst-Case Timing of Real-Time Systems. IEEE Proceedings - Software\u00a0147(2), 25\u201330 (2000)","journal-title":"IEEE Proceedings - Software"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Gross, H.G., Mayer, N.: Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development. In: Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 113\u2013120 (2003)","DOI":"10.1109\/WORDS.2003.1218073"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Moreno-Scott, J.H., Ort\u00edz-Bayliss, J.C., Terashima-Mar\u00edn, H., Conant-Pablos, S.E.: Challenging Heuristics: Evolving Binary Constraint Satisfaction Problems. In: Proceedings of Genetic and Evolutionary Computation Conference, pp. 409\u2013416. ACM (2012)","DOI":"10.1145\/2330163.2330222"},{"issue":"9","key":"1_CR14","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1287\/mnsc.15.9.494","volume":"15","author":"G. Nemhauser","year":"1969","unstructured":"Nemhauser, G., Ullmann, Z.: Discrete dynamic programming and capital allocation. Management Science\u00a015(9), 494\u2013505 (1969)","journal-title":"Management Science"},{"key":"1_CR15","unstructured":"Pisinger, D.: Algorithms for Knapsack Problems. Ph.D. thesis, University of Copenhagen (February 1995)"},{"key":"1_CR16","unstructured":"R Core Team: R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria (2013), http:\/\/www.R-project.org\/"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1090\/S0002-9947-1953-0053041-6","volume":"74","author":"H.G. Rice","year":"1953","unstructured":"Rice, H.G.: Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society\u00a074(2), 358\u2013366 (1953)","journal-title":"Transactions of the American Mathematical Society"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Tlili, M., Wappler, S., Sthamer, H.: Improving Evolutionary Real-Time Testing. In: Proceedings of Genetic and Evolutionary Computation Conference, pp. 1917\u20131924. ACM (2006)","DOI":"10.1145\/1143997.1144316"},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1011132221066","volume":"21","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Mueller, F.: A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints. Real-Time Systems\u00a021(3), 241\u2013268 (2001)","journal-title":"Real-Time Systems"}],"container-title":["Communications in Computer and Information Science","Bio-Inspired Computing - Theories and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45049-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:31:57Z","timestamp":1746383517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45049-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662450482","9783662450499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45049-9_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}