{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T04:05:58Z","timestamp":1748837158161,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312033"},{"type":"electronic","value":"9783319312040"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31204-0_52","type":"book-chapter","created":{"date-parts":[[2016,3,22]],"date-time":"2016-03-22T11:24:40Z","timestamp":1458645880000},"page":"819-830","source":"Crossref","is-referenced-by-count":2,"title":["Environment-Model Based Testing with\u00a0Differential Evolution in an Industrial Setting"],"prefix":"10.1007","author":[{"given":"Annam\u00e1ria","family":"Szenkovits","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"No\u00e9mi","family":"Gask\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erwan","family":"Jahier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,15]]},"reference":[{"key":"52_CR1","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Co., New York (1990)","edition":"2"},{"key":"52_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2008\/753821","volume":"2008","author":"P Raymond","year":"2008","unstructured":"Raymond, P., Roux, Y., Jahier, E.: Lutin: a language for specifying and executing reactive scenarios. EURASIP J. Embed. Syst. 2008, 1\u201311 (2008)","journal-title":"EURASIP J. Embed. Syst."},{"key":"52_CR4","unstructured":"Dormoy, F.X.: Scade 6 a model based solution for safety critical software development. In: ERTS 2008 (2013)"},{"key":"52_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2488","DOI":"10.1007\/3-540-45110-2_152","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"P McMinn","year":"2003","unstructured":"McMinn, P., Holcombe, M.: The state problem for evolutionary testing. In: Cant\u00fa-Paz, E., et al. (eds.) GECCO 2003. LNCS, vol. 2724, pp. 2488\u20132498. Springer, Heidelberg (2003)"},{"key":"52_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11219-012-9174-y","volume":"21","author":"TE Vos","year":"2013","unstructured":"Vos, T.E., et al.: Evolutionary functional black-box testing in an industrial setting. Softw. Qual. Control 21, 259\u2013288 (2013)","journal-title":"Softw. Qual. Control"},{"key":"52_CR7","unstructured":"Wegener, J., Buhr, K., Pohlheim, H.: Automatic test data generation for structural testing of embedded software systems by evolutionary testing. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002, pp. 1233\u20131240. Morgan Kaufmann Publishers Inc., San Francisco (2002)"},{"key":"52_CR8","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Inf. Softw. Technol. 43, 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"52_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2428","DOI":"10.1007\/3-540-45110-2_147","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"A Baresel","year":"2003","unstructured":"Baresel, A., Pohlheim, H., Sadeghipour, S.: Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms. In: Cant\u00fa-Paz, E., et al. (eds.) GECCO 2003. LNCS, vol. 2724, pp. 2428\u20132441. Springer, Heidelberg (2003)"},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"Corno, F., Cumani, G., Reorda, M.S., Squillero, G.: Evolutionary test program induction for microprocessor design verification. In: 2012 IEEE 21st Asian Test Symposium, p. 368 (2002)","DOI":"10.1109\/ATS.2002.1181739"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Iwashita, H., Kowatari, S., Nakata, T., Hirose, F.: Automatic test program generation for pipelined processors. In: IEEE\/ACM International Conference on Computer-Aided Design, pp. 580\u2013583 (1994)","DOI":"10.1109\/ICCAD.1994.629879"},{"key":"52_CR12","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/s10898-011-9682-5","volume":"51","author":"A Cheng","year":"2011","unstructured":"Cheng, A., Lim, C.C.: Markov modelling and parameterisation of genetic evolutionary test generations. J. Glob. Optim. 51, 743\u2013751 (2011)","journal-title":"J. Glob. Optim."},{"key":"52_CR13","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language lustre. Proc. IEEE 79, 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"52_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TSE.2003.1183927","volume":"29","author":"J Jones","year":"2003","unstructured":"Jones, J., Harrold, M.: Test-suite reduction and prioritization for modified condition\/decision coverage. IEEE Trans. Softw. Eng. 29, 195\u2013209 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"52_CR15","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s10009-006-0023-9","volume":"8","author":"E Jahier","year":"2006","unstructured":"Jahier, E., Raymond, P., Baufreton, P.: Case studies with lurette v2. Softw. Tools Technol. Transf. 8, 517\u2013530 (2006). http:\/\/www.springerlink.com\/content\/u02131123x856227\/fulltext.pdf","journal-title":"Softw. Tools Technol. Transf."},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"Jahier, E., Halbwachs, N., Raymond, P.: Engineering functional requirements of reactive systems using synchronous languages. In: International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal (2013)","DOI":"10.1109\/SIES.2013.6601486"},{"key":"52_CR17","doi-asserted-by":"crossref","unstructured":"Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 200\u2013209 (1998)","DOI":"10.1109\/REAL.1998.739746"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/978-3-642-54862-8_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Jahier","year":"2014","unstructured":"Jahier, E., Djoko-Djoko, S., Maiza, C., Lafont, E.: Environment-model based testing of control systems: case studies. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 636\u2013650. Springer, Heidelberg (2014)"},{"key":"52_CR19","unstructured":"Official github repository of the open etcs project (2008). https:\/\/github.com\/openETCS . Accessed November 2015"},{"key":"52_CR20","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1023\/A:1008202821328","volume":"11","author":"R Storn","year":"1997","unstructured":"Storn, R., Price, K.: Differential evolution-a simple and efficient heuristic for global optimization over continuous spaces. J. Glob. Optim. 11, 341\u2013359 (1997)","journal-title":"J. Glob. Optim."},{"key":"52_CR21","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TEVC.2010.2059031","volume":"15","author":"S Das","year":"2011","unstructured":"Das, S., Suganthan, P.N.: Differential evolution: a survey of the state-of-the-art. IEEE Trans. Evol. Comput. 15, 4\u201331 (2011)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"52_CR22","unstructured":"Liu, J., Lampinen, J.: On setting the control parameter of the differential evolution method. In: Proceedings of the 8th Internationl Conference Soft Computing, MENDEL 2002, pp. 11\u201318 (2002)"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31204-0_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:16:40Z","timestamp":1748816200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31204-0_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312033","9783319312040"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31204-0_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}