{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:37:43Z","timestamp":1743125863223,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030419639"},{"type":"electronic","value":"9783030419646"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-41964-6_11","type":"book-chapter","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T12:03:51Z","timestamp":1583237031000},"page":"123-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Trading Framework Based on Fuzzy Moore Machines"],"prefix":"10.1007","author":[{"given":"Iv\u00e1n","family":"Calvo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4634-4082","authenticated-orcid":false,"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9808-6401","authenticated-orcid":false,"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Llana, L., N\u00fa\u00f1ez, M.: Self-adaptive fuzzy-timed systems. In: 13th IEEE Congress on Evolutionary Computation, CEC 2011, pp. 115\u2013122. IEEE Computer Society (2011)","DOI":"10.1109\/CEC.2011.5949607"},{"issue":"12","key":"11_CR2","doi-asserted-by":"publisher","first-page":"8012","DOI":"10.1007\/s11227-019-02980-w","volume":"75","author":"A Bernal","year":"2019","unstructured":"Bernal, A., Cambronero, M.E., N\u00fa\u00f1ez, A., Ca\u00f1izares, P.C., Valero, V.: Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput. 75(12), 8012\u20138058 (2019)","journal-title":"J. Supercomput."},{"issue":"5","key":"11_CR3","doi-asserted-by":"publisher","first-page":"e1943","DOI":"10.1002\/smr.1943","volume":"30","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process 30(5), e1943 (2018)","journal-title":"J. Softw. Evol. Process"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/j.is.2017.11.005","volume":"81","author":"J Boubeta-Puig","year":"2019","unstructured":"Boubeta-Puig, J., D\u00edaz, G., Maci\u00e0, H., Valero, V., Ortiz, G.: MEdit4CEP-CPN: an approach for complex event processing modeling by prioritized colored petri nets. Inf. Syst. 81, 267\u2013289 (2019)","journal-title":"Inf. Syst."},{"key":"11_CR5","volume-title":"Encyclopedia of Candlestick Charts","author":"TN Bulkowski","year":"2008","unstructured":"Bulkowski, T.N.: Encyclopedia of Candlestick Charts. Wiley, New York (2008)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1007\/978-3-319-75417-8_65","volume-title":"Intelligent Information and Database Systems","author":"I Calvo","year":"2018","unstructured":"Calvo, I., Merayo, M.G., N\u00fa\u00f1ez, M.: An improved and tool-supported fuzzy automata framework to analyze heart data. In: Nguyen, N.T., Hoang, D.H., Hong, T.-P., Pham, H., Trawi\u0144ski, B. (eds.) ACIIDS 2018. LNCS (LNAI), vol. 10751, pp. 694\u2013704. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-75417-8_65"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Calvo, I., Merayo, M.G., N\u00fa\u00f1ez, M.: AUNTY: a tool to automatically analyze data using fuzzy automata. In: 3rd International Conference on Computational Intelligence and Applications, ICCIA 2018, pp. 102\u2013106. IEEE Computer Society (2018)","DOI":"10.1109\/ICCIA.2018.00026"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"7389","DOI":"10.3233\/JIFS-179348","volume":"37","author":"I Calvo","year":"2019","unstructured":"Calvo, I., Merayo, M.G., N\u00fa\u00f1ez, M.: A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37, 7389\u20137399 (2019)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/978-3-030-20521-8_62","volume-title":"Advances in Computational Intelligence","author":"I Calvo","year":"2019","unstructured":"Calvo, I., Merayo, M.G., N\u00fa\u00f1ez, M., Palomo-Lozano, F.: Conformance relations for fuzzy automata. In: Rojas, I., Joya, G., Catala, A. (eds.) IWANN 2019. LNCS, vol. 11506, pp. 753\u2013765. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-20521-8_62"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.jss.2018.05.010","volume":"143","author":"PC Ca\u00f1izares","year":"2018","unstructured":"Ca\u00f1izares, P.C., N\u00fa\u00f1ez, A., Merayo, M.G.: Mutomvo: mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143, 187\u2013207 (2018)","journal-title":"J. Syst. Softw."},{"issue":"3\u20134","key":"11_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s12243-015-0457-8","volume":"70","author":"AR Cavalli","year":"2015","unstructured":"Cavalli, A.R., Higashino, T., N\u00fa\u00f1ez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3\u20134), 85\u201393 (2015)","journal-title":"Ann. Telecommun."},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1007\/s11219-018-9425-7","volume":"27","author":"P Delgado-P\u00e9rez","year":"2019","unstructured":"Delgado-P\u00e9rez, P., Rose, L.M., Medina-Bulo, I.: Coverage-based quality metric of mutation operators for test suite improvement. Software Qual. J. 27(2), 823\u2013859 (2019)","journal-title":"Software Qual. J."},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","volume":"38","author":"M Doostfatemeh","year":"2005","unstructured":"Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approximate Reasoning 38(2), 175\u2013214 (2005)","journal-title":"Int. J. Approximate Reasoning"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.scico.2018.01.008","volume":"163","author":"P G\u00f3mez-Abajo","year":"2018","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J., Merayo, M.G.: A tool for domain-independent model mutation. Sci. Comput. Program. 163, 85\u201392 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1002\/spe.2629","volume":"49","author":"L Guti\u00e9rrez-Madro\u00f1al","year":"2019","unstructured":"Guti\u00e9rrez-Madro\u00f1al, L., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: Evolutionary mutation testing for IoT with recorded and generated events. Softw. Pract. Exp. 49(4), 640\u2013672 (2019)","journal-title":"Softw. Pract. Exp."},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-88387-6_16","volume-title":"Automated Technology for Verification and Analysis","author":"RM Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Controllable test cases for the distributed test architecture. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 201\u2013215. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-88387-6_16"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1016\/j.jlamp.2016.02.004","volume":"86","author":"RM Hierons","year":"2017","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1), 408\u2013424 (2017)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/TR.2018.2800093","volume":"67","author":"RM Hierons","year":"2018","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Bounded reordering in the distributed test architecture. IEEE Trans. Reliab. 67(2), 522\u2013537 (2018)","journal-title":"IEEE Trans. Reliab."},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.jss.2017.03.011","volume":"132","author":"RM Hierons","year":"2017","unstructured":"Hierons, R.M., N\u00fa\u00f1ez, M.: Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132, 319\u2013335 (2017)","journal-title":"J. Syst. Softw."},{"key":"11_CR20","volume-title":"Python for Finance: Analyze Big Financial Data","author":"Y Hilpisch","year":"2014","unstructured":"Hilpisch, Y.: Python for Finance: Analyze Big Financial Data. O\u2019Reilly Media, Sebastopol (2014)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.infsof.2019.04.012","volume":"112","author":"A Ibias","year":"2019","unstructured":"Ibias, A., Hierons, R.M., N\u00fa\u00f1ez, M.: Using squeeziness to test component-based systems defined as finite state machines. Inf. Softw. Technol. 112, 132\u2013147 (2019)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2736348","volume":"58","author":"L Lamport","year":"2015","unstructured":"Lamport, L.: Who builds a house without drawing blueprints? Commun. ACM 58(4), 38\u201341 (2015)","journal-title":"Commun. ACM"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-70848-5_6","volume-title":"Formal Methods: Foundations and Applications","author":"T Lecomte","year":"2017","unstructured":"Lecomte, T., Deharbe, D., Prun, E., Mottin, E.: Applying a formal method in industry: a 25-year trajectory. In: Cavalheiro, S., Fiadeiro, J. (eds.) SBMF 2017. LNCS, vol. 10623, pp. 70\u201387. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-70848-5_6"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-48080-3_19","volume-title":"Innovative Internet Computing Systems","author":"N L\u00f3pez","year":"2002","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: A formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., B\u00f6hme, T., Mikler, A. (eds.) IICS 2002. LNCS, vol. 2346, pp. 217\u2013228. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-48080-3_19"},{"key":"11_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30526-4","volume-title":"Handbook of Model-Based Science","year":"2017","unstructured":"Magnani, L., Bertolotti, T. (eds.): Handbook of Model-Based Science. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30526-4"},{"issue":"5","key":"11_CR26","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s00446-017-0308-0","volume":"31","author":"MG Merayo","year":"2018","unstructured":"Merayo, M.G., Hierons, R.M., N\u00fa\u00f1ez, M.: Passive testing with asynchronous communications and timestamps. Distrib. Comput. 31(5), 327\u2013342 (2018)","journal-title":"Distrib. Comput."},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.infsof.2018.07.013","volume":"104","author":"MG Merayo","year":"2018","unstructured":"Merayo, M.G., Hierons, R.M., N\u00fa\u00f1ez, M.: A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104, 162\u2013178 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR28","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643","volume-title":"Fuzzy Automata and Languages: Theory and Applications","author":"JN Mordeson","year":"2002","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall\/CRC, Boca Raton (2002)"},{"key":"11_CR29","unstructured":"Mraz, M., Lapanja, I., Zimic, N., Virant, J.: Fuzzy numbers as inputs to fuzzy automata. In: 18th International Conference of the North American Fuzzy Information Processing Society, NAFIPS 1999, pp. 453\u2013456. IEEE Computer Society (1999)"},{"issue":"4","key":"11_CR30","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How Amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015)","journal-title":"Commun. ACM"},{"key":"11_CR31","volume-title":"Japanese Candlestick Charting Techniques: A Contemporary Guide to the Ancient Investment Techniques of the Far East","author":"S Nison","year":"2001","unstructured":"Nison, S.: Japanese Candlestick Charting Techniques: A Contemporary Guide to the Ancient Investment Techniques of the Far East, 2nd edn. Prentice Hall, Upper Saddle River (2001)","edition":"2"},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11759744_8","volume-title":"Formal Approaches to Software Testing","author":"M N\u00fa\u00f1ez","year":"2006","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Conformance testing relations for timed systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 103\u2013117. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11759744_8"},{"issue":"3","key":"11_CR33","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSSC.1969.300263","volume":"5","author":"WG Wee","year":"1969","unstructured":"Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Sci. Cybern. 5(3), 215\u2013223 (1969)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"issue":"3","key":"11_CR34","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"11_CR35","series-title":"Advances in Fuzzy Systems - Applications and Theory","doi-asserted-by":"publisher","DOI":"10.1142\/2895","volume-title":"Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems","author":"LA Zadeh","year":"1996","unstructured":"Zadeh, L.A.: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems. Advances in Fuzzy Systems - Applications and Theory, vol. 6. World Scientific Press, Hackensack (1996)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41964-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:31:01Z","timestamp":1584059461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41964-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030419639","9783030419646"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41964-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACIIDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Conference on Intelligent Information and Database Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Phuket","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aciids2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aciids.pwr.edu.pl\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}