{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T16:01:24Z","timestamp":1778601684312,"version":"3.51.4"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T00:00:00Z","timestamp":1343088000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s00500-012-0894-5","type":"journal-article","created":{"date-parts":[[2012,7,23]],"date-time":"2012-07-23T02:59:34Z","timestamp":1343012374000},"page":"301-315","source":"Crossref","is-referenced-by-count":19,"title":["Using genetic algorithms to generate test sequences for complex timed systems"],"prefix":"10.1007","volume":"17","author":[{"given":"Alberto","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,24]]},"reference":[{"key":"894_CR1","doi-asserted-by":"crossref","unstructured":"Akcelik V, Bielak J, Biros G, Epanomeritakis I, Fernandez A, Ghattas O, Kim EJ, Lopez J, O\u2019Hallaron D, Tu T, Urbanic J (2003) High resolution forward and inverse earthquake modeling on terascale computers. In: 16th ACM\/IEEE conference on supercomputing, SC\u201903. ACM Press, New York","DOI":"10.1145\/1048935.1050202"},{"key":"894_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to software testing","author":"P Ammann","year":"2008","unstructured":"Ammann P, Offutt J (2008) Introduction to software testing. Cambridge University Press, Cambridge"},{"key":"894_CR3","doi-asserted-by":"crossref","unstructured":"Blanquart JP, Armengaud E, Baufreton P, Bourrouilh Q, Griessnig G, Krammer M, Laurent O, Machrouh J, Peikenkamp T, Schindler C, Wien T (2011) Towards cross-domains model-based safety process, methods and tools for critical embedded systems: the CESAR approach. In: 30th international conference on computer safety, reliability, and security, SAFECOMP\u201911, LNCS, vol 6894. Springer, Berlin, pp 57\u201370","DOI":"10.1007\/978-3-642-24270-0_5"},{"key":"894_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"BS Bosik","year":"1991","unstructured":"Bosik BS, Uyar M\u00dc (1991) Finite state machine based formal methods in protocol conformance testing. Comput Netw ISDN Syst 22:7\u201333","journal-title":"Comput Netw ISDN Syst"},{"key":"894_CR5","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T Chow","year":"1978","unstructured":"Chow T (1978) Testing software design modeled by finite state machines. IEEE Trans Softw Eng 4:178\u2013187","journal-title":"IEEE Trans Softw Eng"},{"key":"894_CR6","unstructured":"Derderian K (2006) Automated test sequence generation for finite state machines using genetic algorithms. PhD. thesis, Brunel University"},{"key":"894_CR7","doi-asserted-by":"crossref","unstructured":"Derderian K, Hierons RM, Harman M, Guo Q (2004) Input sequence generation for testing of communicating finite state machines (CFSMs). In: 6th annual conference on genetic and evolutionary computation, GECCO\u201904, LNCS, vol 3103. Springer, Berlin, pp 1429\u20131430","DOI":"10.1007\/978-3-540-24855-2_164"},{"issue":"3","key":"894_CR8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1093\/comjnl\/bxl003","volume":"49","author":"K Derderian","year":"2006","unstructured":"Derderian K, Hierons RM, Harman M, Guo Q (2006) Automated unique input output sequence generation for conformance testing of FSMs. Comput J 49(3):331\u2013344","journal-title":"Comput J"},{"key":"894_CR10","doi-asserted-by":"crossref","unstructured":"Derderian K, Merayo MG, Hierons RM, N\u00fa\u00f1ez M (2009) Aiding test case generation in temporally constrained state based systems using genetic algorithms. In: 10th international conference on artificial neural networks, IWANN\u201909, LNCS, vol 5517. Springer, Berlin, pp 327\u2013334","DOI":"10.1007\/978-3-642-02478-8_41"},{"issue":"1","key":"894_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10515-009-0057-9","volume":"17","author":"K Derderian","year":"2010","unstructured":"Derderian K, Hierons RM, Harman M, Guo Q (2010) Estimating the feasibility of transition paths in extended finite state machines. Autom Softw Eng 17(1):33\u201356","journal-title":"Autom Softw Eng"},{"key":"894_CR11","doi-asserted-by":"crossref","unstructured":"Derderian K, Merayo MG, Hierons RM, N\u00fa\u00f1ez M (2011) A case study on the use of genetic algorithms to generate test cases for temporal systems. In: 11th international conference on artificial neural networks, IWANN\u201911, LNCS, vol 6692. Springer, Berlin, pp 396\u2013403","DOI":"10.1007\/978-3-642-21498-1_50"},{"issue":"5","key":"894_CR12","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TC.2004.1275300","volume":"53","author":"AY Duale","year":"2004","unstructured":"Duale AY, Uyar M\u00dc (2004) A method enabling feasible conformance test sequence generation for EFSM models. IEEE Trans Comput 53(5):614\u2013627","journal-title":"IEEE Trans Comput"},{"key":"894_CR13","volume-title":"Genetic algorithms in search. Optimisation and machine learning","author":"D Goldberg","year":"1989","unstructured":"Goldberg D (1989) Genetic algorithms in search. Optimisation and machine learning. Addison-Wesley, Reading"},{"issue":"1","key":"894_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp W, Kicillof N, Stobie K, Braberman V (2011) Model-based quality assurance of protocol documentation: tools and methodology. Softw Test Verif Reliab 21(1):55\u201371","journal-title":"Softw Test Verif Reliab"},{"key":"894_CR15","unstructured":"Guo Q, Hierons RM, Harman M, Derderian K (2003) Computing unique input\/output sequences using genetic algorithms. In: 3rd international workshop on formal approaches to testing of software, FATES\u201903, LNCS, vol 2931. Springer, Berlin, pp 164\u2013177"},{"issue":"2","key":"894_CR16","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSE.2009.71","volume":"36","author":"M Harman","year":"2010","unstructured":"Harman M, McMinn P (2010) A theoretical and empirical study of search-based testing: local, global, and hybrid search. IEEE Trans Softw Eng 36(2):226\u2013247","journal-title":"IEEE Trans Softw Eng"},{"key":"894_CR17","unstructured":"Hennie F (1964) Fault-detecting experiments for sequential circuits. In: 5th annual symposium on switching circuit theory and logical design, pp 95\u2013110"},{"issue":"9","key":"894_CR21","doi-asserted-by":"crossref","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"RM Hierons","year":"2002","unstructured":"Hierons RM, Ural H (2002) Reduced length checking sequences. IEEE Trans Comput 51(9):1111\u20131117","journal-title":"IEEE Trans Comput"},{"issue":"5","key":"894_CR22","doi-asserted-by":"crossref","first-page":"618","DOI":"10.1109\/TC.2006.80","volume":"55","author":"RM Hierons","year":"2006","unstructured":"Hierons RM, Ural H (2006) Optimizing the length of checking sequences. IEEE Trans Comput 55(5):618\u2013629","journal-title":"IEEE Trans Comput"},{"key":"894_CR19","doi-asserted-by":"crossref","unstructured":"Hierons RM, Bowen J, Harman M (eds) (2008) Formal methods and testing, LNCS, vol 4949. Springer, Berlin","DOI":"10.1007\/978-3-540-78917-8"},{"key":"894_CR18","doi-asserted-by":"crossref","unstructured":"Hierons RM, Bogdanov K, Bowen J, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P, Luettgen G, Simons A, Vilkomir S, Woodward M, Zedan H (2009a) Using formal methods to support testing. ACM Comput Surv 41(2):9:1\u20139:76","DOI":"10.1145\/1459352.1459354"},{"issue":"2","key":"894_CR20","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.jlap.2008.06.001","volume":"78","author":"RM Hierons","year":"2009","unstructured":"Hierons RM, Merayo MG, N\u00fa\u00f1ez M (2009b) Testing from a stochastic timed system with a fault model. J Logic Algebr Progr 78(2):98\u2013115","journal-title":"J Logic Algebr Progr"},{"issue":"2","key":"894_CR23","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/41.2.98","volume":"41","author":"BF Jones","year":"1998","unstructured":"Jones BF, Eyres DE, Sthamer HH (1998) A strategy for using genetic algorithms to automate branch and fault-based testing. Comput J 41(2):98\u2013107","journal-title":"Comput J"},{"key":"894_CR24","doi-asserted-by":"crossref","unstructured":"Kalaji AS, Hierons RM, Swift S (2009) Generating feasible transition paths for testing from an extended finite state machine (EFSM). In: 2nd international conference on software testing verification and validation, ICST\u201909. IEEE Computer Society, pp 230\u2013239","DOI":"10.1109\/ICST.2009.29"},{"issue":"12","key":"894_CR25","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1016\/j.infsof.2011.06.004","volume":"53","author":"AS Kalaji","year":"2011","unstructured":"Kalaji AS, Hierons RM, Swift S (2011) An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Inf Softw Technol 53(12):1297\u20131318","journal-title":"Inf Softw Technol"},{"key":"894_CR26","unstructured":"Karypis G (2011) METIS: A software package for partitioning unstructured graphs, partitioning meshes and computing fill-reducing orderings of sparse matrices. version 5.0. Tech. rep., Department of Computer Science & Engineering, University of Minnesota."},{"key":"894_CR27","doi-asserted-by":"crossref","unstructured":"Laurent O (2010) Using formal methods and testability concepts in the avionics systems validation and verification (V&V) process. In: 3rd international conference software testing, verification, and validation, ICST\u201910. IEEE Computer Society, pp 1\u201310","DOI":"10.1109\/ICST.2010.38"},{"key":"894_CR28","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D Lee","year":"1994","unstructured":"Lee D, Yannakakis M (1994) Testing finite state machines: state identification and verification. IEEE Trans Comput 43:306\u2013320","journal-title":"IEEE Trans Comput"},{"issue":"8","key":"894_CR29","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines: a survey. Proc IEEE 84(8):1090\u20131123","journal-title":"Proc IEEE"},{"issue":"1","key":"894_CR30","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1002\/jnm.482","volume":"16","author":"A Loureiro","year":"2003","unstructured":"Loureiro A, Gonz\u00e1lez J, Pena TF (2003) A parallel 3D semiconductor device simulator for gradual heterojunction bipolar transistors. J Numer Modell Electr Netw Devices Fields 16(1):53\u201366","journal-title":"J Numer Modell Electr Netw Devices Fields"},{"key":"894_CR31","doi-asserted-by":"crossref","unstructured":"Mairhofer S, Feldt R, Torkar (2011) R Search-based software testing and test data generation for a dynamic programming language. In: 13th annual conference on genetic and evolutionary computation, GECCO\u201911. ACM Press, New York, pp 1859\u20131866","DOI":"10.1145\/2001576.2001826"},{"issue":"2","key":"894_CR32","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004) Search-based software test data generation: a survey. Softw Test Verif Reliab 14(2):105\u2013156","journal-title":"Softw Test Verif Reliab"},{"key":"894_CR34","doi-asserted-by":"crossref","unstructured":"Merayo MG, N\u00fa\u00f1ez M, Rodr\u00edguez I (2007) Generation of optimal finite test suites for timed systems. In: 1st IEEE & IFIP international symposium on theoretical aspects of software engineering, TASE\u201907. IEEE Computer Society, pp 149\u2013158","DOI":"10.1109\/TASE.2007.29"},{"issue":"6","key":"894_CR35","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1109\/TC.2008.15","volume":"57","author":"MG Merayo","year":"2008","unstructured":"Merayo MG, N\u00fa\u00f1ez M, Rodr\u00edguez I (2008a) Extending EFSMs to specify and test timed systems with action durations and timeouts. IEEE Trans Comput 57(6):835\u2013848","journal-title":"IEEE Trans Comput"},{"issue":"2","key":"894_CR36","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"MG Merayo","year":"2008","unstructured":"Merayo MG, N\u00fa\u00f1ez M, Rodr\u00edguez I (2008b) Formal testing from timed finite state machines. Comput Netw 52(2):432\u2013460","journal-title":"Comput Netw"},{"issue":"2","key":"894_CR33","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s10270-009-0126-3","volume":"10","author":"MG Merayo","year":"2011","unstructured":"Merayo MG, N\u00fa\u00f1ez M, Hierons RM (2011) Testing timed systems modeled by stream X-machines. Softw Syst Model 10(2):201\u2013217","journal-title":"Softw Syst Model"},{"key":"894_CR37","doi-asserted-by":"crossref","unstructured":"Merayo MG, N\u00fa\u00f1ez M, Rodr\u00edguez I (2012) A formal framework to test soft and hard deadlines in timed systems. Softw Test Verif Reliab. doi: 10.1002\/stvr.448","DOI":"10.1002\/stvr.448"},{"issue":"12","key":"894_CR38","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"CC Michael","year":"2001","unstructured":"Michael CC, McGraw G, Schatz MA (2001) Generating software test data by evolution. IEEE Trans Softw Eng 27(12):1085\u20131110","journal-title":"IEEE Trans Softw Eng"},{"key":"894_CR39","doi-asserted-by":"crossref","unstructured":"Michalewicz Z (1996) Genetic algorithms + data structures = evolution programs, 3rd ed. Revised and extended edn. Springer, Berlin","DOI":"10.1007\/978-3-662-03315-9"},{"key":"894_CR40","doi-asserted-by":"crossref","unstructured":"Molinero C, N\u00fa\u00f1ez M, Andr\u00e9s C (2009) Combining genetic algorithms and mutation testing to generate test sequences. In: 10th international conference artificial neural networks, IWANN\u201909, LNCS, vol 5517. Springer, Berlin, pp 343\u2013350","DOI":"10.1007\/978-3-642-02478-8_43"},{"key":"894_CR41","doi-asserted-by":"crossref","unstructured":"Molinero C, N\u00fa\u00f1ez M, Hierons RM (2011a) Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. In: IEEE symposium on artificial life, ALIFE\u201911. IEEE Computer Society, pp 22\u201329","DOI":"10.1109\/ALIFE.2011.5954657"},{"key":"894_CR42","doi-asserted-by":"crossref","unstructured":"Molinero C, N\u00fa\u00f1ez M, Hierons RM (2011b) Experimental comparison of different techniques to generate adaptive sequences. In: 11th international conference on artificial neural networks, IWANN\u201911, LNCS, vol 6692. Springer, Berlin, pp 404\u2013411","DOI":"10.1007\/978-3-642-21498-1_51"},{"key":"894_CR43","volume-title":"The art of software testing","author":"G Myers","year":"2004","unstructured":"Myers G (2004) The art of software testing, 2nd edn. Wiley, New York","edition":"2"},{"key":"894_CR45","unstructured":"N\u00fa\u00f1ez A, Fern\u00e1ndez J, Garc\u00eda JD, Carretero J (2008) Analyzing scalable high-performance I\/O architectures. In: 3rd international conference on parallel and distributed processing techniques and applications, PDPTA\u201908, pp 631\u2013637"},{"issue":"1","key":"894_CR46","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s11227-009-0279-4","volume":"51","author":"A N\u00fa\u00f1ez","year":"2010","unstructured":"N\u00fa\u00f1ez A, Fern\u00e1ndez J, Garc\u00eda JD, Garc\u00eda F, Carretero J (2010) New techniques for simulating high performance MPI applications on large storage networks. J Supercomput 51(1):40\u201357","journal-title":"J Supercomput"},{"issue":"1","key":"894_CR44","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/j.simpat.2011.08.009","volume":"20","author":"A N\u00fa\u00f1ez","year":"2012","unstructured":"N\u00fa\u00f1ez A, Fern\u00e1ndez J, Filgueira R, Garc\u00eda F, Carretero J (2012) SIMCAN: a flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications. Simul Modell Practice Theory 20(1):12\u201332","journal-title":"Simul Modell Practice Theory"},{"key":"894_CR47","doi-asserted-by":"crossref","unstructured":"Oh J, Harman M, Yoo S (2011) Transition coverage testing for simulink\/stateflow models using messy genetic algorithms. In: 13th annual conference on genetic and evolutionary computation, GECCO\u201911. ACM Press, New York, pp 1851\u20131858","DOI":"10.1145\/2001576.2001825"},{"key":"894_CR48","doi-asserted-by":"crossref","unstructured":"Petrenko A (2001) Fault model-driven test derivation from finite state models: annotated bibliography. In: 4th Summer school on modeling and verification of parallel processes, MOVEP\u201900, LNCS, vol 2067. Springer Berlin, pp 196\u2013205","DOI":"10.1007\/3-540-45510-8_10"},{"issue":"1","key":"894_CR49","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TSE.2004.1265734","volume":"30","author":"A Petrenko","year":"2004","unstructured":"Petrenko A, Boroday S, Groz R (2004) Confirming configurations in EFSM testing. IEEE Trans Softw Eng 30(1):29\u201342","journal-title":"IEEE Trans Softw Eng"},{"issue":"14","key":"894_CR50","doi-asserted-by":"crossref","first-page":"1622","DOI":"10.1016\/S0140-3664(03)00116-6","volume":"26","author":"T Ramalingom","year":"2003","unstructured":"Ramalingom T, Thulasiraman K, Das A (2003) Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. Comput Commun 26(14):1622\u20131633","journal-title":"Comput Commun"},{"key":"894_CR51","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/2.294849","volume":"27","author":"M Srinivas","year":"1994","unstructured":"Srinivas M, Patnaik LM (1994) Genetic algorithms: a survey. IEEE Comput 27:17\u201327","journal-title":"IEEE Comput"},{"key":"894_CR52","doi-asserted-by":"crossref","unstructured":"Stone SS, Haldar JP, Tsao SC, Hwu WW, Liang ZP, Sutton BP (2008) Accelerating advanced MRI reconstructions on GPUs. In: 5th conference on computing frontiers, CF\u201908. ACM Press, New York, pp 261\u2013272","DOI":"10.1145\/1366230.1366276"},{"key":"894_CR53","doi-asserted-by":"crossref","unstructured":"Szalay AS, Kunszt PZ, Thakar A, Gray J, Slutz D, Brunner RJ (2000) Designing and mining multi-terabyte astronomy archives: the sloan digital sky survey. In: 26th ACM SIGMOD international conference on management of data. ACM Press, New York, pp 451\u2013462","DOI":"10.1145\/335191.335439"},{"key":"894_CR54","volume-title":"Practical model-based testing: a tools approach","author":"M Utting","year":"2007","unstructured":"Utting M, Legeard B (2007) Practical model-based testing: a tools approach. Morgan-Kaufmann, Menlo Park"},{"key":"894_CR55","unstructured":"Whitley D (1999) A free lunch proof for gray versus binary encodings. In: 1st genetic and evolutionary computation conference, GECCO\u201999. Morgan Kaufmann, Menlo Park, pp 726\u2013733"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0894-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-012-0894-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0894-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T10:37:33Z","timestamp":1561977453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-012-0894-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,24]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["894"],"URL":"https:\/\/doi.org\/10.1007\/s00500-012-0894-5","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,24]]}}}