{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:46Z","timestamp":1742913886115,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031341465"},{"type":"electronic","value":"9783031341472"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-34147-2_8","type":"book-chapter","created":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T19:02:26Z","timestamp":1685127746000},"page":"107-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["New Horizons for\u00a0Metamorphic Relationships in\u00a0Formal Verification"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5498-6878","authenticated-orcid":false,"given":"Fernando","family":"Asteasuain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Dhar, V.: Big data, data science, and analytics: the opportunity and challenge for is research (2014)","DOI":"10.1287\/isre.2014.0546"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Asrafi, M., Liu, H., Kuo, F.C.: On testing effectiveness of metamorphic relations: a case study. In: 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, pp. 147\u2013156. IEEE (2011)","DOI":"10.1109\/SSIRI.2011.21"},{"key":"8_CR3","unstructured":"Asteasuain, F.: A flexible and expressive formalism to specify metamorphic properties for big data systems validation. In: CACIC, pp 282\u2013291 (2022). ISBN 978-987-1364-31-2"},{"key":"8_CR4","unstructured":"Asteasuain, F.: Formalizing operating systems for nano satellites on board computers. In: CONAIISI (2022)"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s00766-015-0242-2","volume":"22","author":"F Asteasuain","year":"2016","unstructured":"Asteasuain, F., Braberman, V.: Declaratively building behavior by means of scenario clauses. Requirements Eng. 22(2), 239\u2013274 (2016). https:\/\/doi.org\/10.1007\/s00766-015-0242-2","journal-title":"Requirements Eng."},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Asteasuain, F., Caldeira, L.R.:A sound and correct formalism to specify, verify and synthesize behavior in BIG DATA systems. In: Pesado, P., Gil, G. (eds) Computer Science. CACIC 2021. CCIS, vol. 1584, pp. 109\u2013123. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-05903-2_8","DOI":"10.1007\/978-3-031-05903-2_8"},{"issue":"3","key":"8_CR7","first-page":"1","volume":"24","author":"F Asteasuain","year":"2021","unstructured":"Asteasuain, F., Calonge, F., Dubinsky, M., Gamboa, P.: Open and branching behavioral synthesis with scenario clauses. CLEI E-J. 24(3), 1\u201320 (2021)","journal-title":"CLEI E-J."},{"key":"8_CR8","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-030-48325-8_11","volume-title":"Computer Science \u2013 CACIC 2019","author":"F Asteasuain","year":"2020","unstructured":"Asteasuain, F., Calonge, F., Gamboa, P.: Exploiting anti-scenarios for the non realizability problem. In: Pesado, P., Arroyo, M. (eds.) CACIC 2019. CCIS, vol. 1184, pp. 157\u2013171. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48325-8_11"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Baidya, S., Shaikh, Z., Levorato, M.: Flynetsim: an open source synchronized UAV network simulator based on ns-3 and ardupilot. In: Proceedings of the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pp. 37\u201345 (2018)","DOI":"10.1145\/3242102.3242118"},{"key":"8_CR10","unstructured":"Beck, K., et al.: Manifesto for agile software development (2001)"},{"issue":"11","key":"8_CR11","first-page":"3025","volume":"28","author":"C Bellettini","year":"2016","unstructured":"Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking using Mapreduce: theory and practice. CCPE 28(11), 3025\u20133041 (2016)","journal-title":"CCPE"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa\u2019Ar, Y.: Synthesis of reactive (1) designs (2011)","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-04368-0_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"V Braberman","year":"2009","unstructured":"Braberman, V., Garbervestky, D., Kicillof, N., Monteverde, D., Olivero, A.: Speeding up model checking of timed-models by combining scenario specialization and live component analysis. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol. 5813, pp. 58\u201372. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04368-0_7"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Camilli, M.: Formal verification problems in a big data world: towards a mighty synergy. In: ICSE, pp. 638\u2013641 (2014)","DOI":"10.1145\/2591062.2591088"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-030-64437-6_2","volume-title":"Programming Languages and Systems","author":"M Ceresa","year":"2020","unstructured":"Ceresa, M., Gorostiaga, F., S\u00e1nchez, C.: Declarative stream runtime verification (hLola). In: Oliveira, B.C.S. (ed.) APLAS 2020. LNCS, vol. 12470, pp. 25\u201343. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64437-6_2"},{"key":"8_CR16","unstructured":"Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543 (2020)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Ding, J., Zhang, D., Hu, X.H.: A framework for ensuring the quality of a big data service. In: 2016 SCC, pp. 82\u201389. IEEE (2016)","DOI":"10.1109\/SCC.2016.18"},{"key":"8_CR18","unstructured":"Doncaster, B., Williams, C., Shulman, J.: 2017 nano\/microsatellite market forecast. SpaceWorks Enterprises Inc., Atlanta, GA, Technical report (2017)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"165570","DOI":"10.1109\/ACCESS.2020.3022433","volume":"8","author":"L Fernandez","year":"2020","unstructured":"Fernandez, L., Ruiz-De-Azua, J.A., Calveras, A., Camps, A.: Assessing Lora for satellite-to-earth communications considering the impact of ionospheric scintillation. IEEE access 8, 165570\u2013165582 (2020)","journal-title":"IEEE access"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-030-72013-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Gorostiaga","year":"2021","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: HLola: a very functional tool for extensible stream runtime verification. In: TACAS 2021. LNCS, vol. 12652, pp. 349\u2013356. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_18"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 342\u2013356. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_24"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Hummel, O., Eichelberger, H., Giloj, A., Werle, D., Schmid, K.: A collection of software engineering challenges for big data system development. In: SEAA, pp. 362\u2013369. IEEE (2018)","DOI":"10.1109\/SEAA.2018.00066"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Kumar, V.D., Alencar, P.: Software engineering for big data projects: domains, methodologies and gaps. In: IEEEBIGDATA, pp. 2886\u20132895. IEEE (2016)","DOI":"10.1109\/BigData.2016.7840938"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Laigner, R., Kalinowski, M., Lifschitz, S., Monteiro, R.S., de Oliveira, D.: A systematic mapping of software engineering approaches to develop big data systems. In: SEAA, pp. 446\u2013453. IEEE (2018)","DOI":"10.1109\/SEAA.2018.00079"},{"issue":"5","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2019","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. (CSUR) 52(5), 1\u201341 (2019)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"8_CR26","volume-title":"State models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: State models and Java Programs. Wiley, Chichester (1999)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Mayer, J., Guderlei, R.: An empirical study on the selection of good metamorphic relations. In: 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), vol. 1, pp. 475\u2013484. IEEE (2006)","DOI":"10.1109\/COMPSAC.2006.24"},{"key":"8_CR28","unstructured":"Mitchell, T.M., Mitchell, T.M.: Machine LLearning, vol. 1. McGraw-hill New York (1997)"},{"key":"8_CR29","unstructured":"Niaz, I.A., Tanaka, J.: Code generation from UML statecharts. In: Proceedings of the 7th IASTED International Conference on Software Engineering and Application (SEA 2003), Marina Del Rey, pp. 315\u2013321 (2003)"},{"issue":"1","key":"8_CR30","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MIS.2014.76","volume":"30","author":"CE Otero","year":"2014","unstructured":"Otero, C.E., Peter, A.: Research directions for engineering big data analytics software. IEEE Intell. Syst. 30(1), 13\u201319 (2014)","journal-title":"IEEE Intell. Syst."},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Pramanik, S., Bandyopadhyay, S.K.: Analysis of big data. In: Encyclopedia of Data Science and Machine Learning, pp. 97\u2013115. IGI Global (2023)","DOI":"10.4018\/978-1-7998-9220-5.ch006"},{"issue":"3","key":"8_CR32","doi-asserted-by":"publisher","first-page":"1839","DOI":"10.1109\/COMST.2020.2990499","volume":"22","author":"N Saeed","year":"2020","unstructured":"Saeed, N., Elzanaty, A., Almorad, H., Dahrouj, H., Al-Naffouri, T.Y., Alouini, M.S.: Cubesat communications: recent advances and future challenges. IEEE Commun. Surv. Tutor. 22(3), 1839\u20131862 (2020)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"9","key":"8_CR33","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","volume":"42","author":"S Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cort\u00e9s, A.: A survey on metamorphic testing. IEEE Trans. Software Eng. 42(9), 805\u2013824 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR34","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Inc., Upper Saddle River (1996)"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"de Sousa Barros, J., Oliveira, T., Nigam, V., Brito, A.V.: A framework for the analysis of UAV strategies using co-simulation. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 9\u201315. IEEE (2016)","DOI":"10.1109\/SBESC.2016.011"},{"issue":"1","key":"8_CR36","first-page":"74","volume":"4","author":"PA Sri","year":"2016","unstructured":"Sri, P.A., Anusha, M.: Big data-survey. Indonesian J. Electr. Eng. Inform. (IJEEI) 4(1), 74\u201380 (2016)","journal-title":"Indonesian J. Electr. Eng. Inform. (IJEEI)"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-540-71209-1_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y-K Tsay","year":"2007","unstructured":"Tsay, Y.-K., Chen, Y.-F., Tsai, M.-H., Wu, K.-N., Chan, W.-C.: GOAL: a graphical tool for manipulating b\u00fcchi automata and temporal formulae. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 466\u2013471. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_35"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s00450-014-0259-7","volume":"30","author":"S Ziegert","year":"2015","unstructured":"Ziegert, S., Wehrheim, H.: Temporal plans for software architecture reconfiguration. Comput. Sci.-Res. Dev. 30, 303\u2013320 (2015)","journal-title":"Comput. Sci.-Res. Dev."},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Zudaire, S., Gorostiaga, F., S\u00e1nchez, C., Schneider, G., Uchitel, S.: Assumption monitoring using runtime verification for UAV temporal task plan executions. In: 2021 IEEE International Conference on Robotics and Automation (ICRA), pp. 6824\u20136830. IEEE (2021)","DOI":"10.1109\/ICRA48506.2021.9561671"},{"issue":"3\u20134","key":"8_CR40","first-page":"1","volume":"16","author":"SA Zudaire","year":"2022","unstructured":"Zudaire, S.A., Nahabedian, L., Uchitel, S.: Assured mission adaptation of UAVs. ACM Trans. Auton. Adapt. Syst. (TAAS) 16(3\u20134), 1\u201327 (2022)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"}],"container-title":["Communications in Computer and Information Science","Computer Science \u2013 CACIC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-34147-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T05:44:46Z","timestamp":1729489486000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-34147-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031341465","9783031341472"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-34147-2_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"27 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CACIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Argentine Congress of Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"La Rioja","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Argentina","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cacic2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cacic2022.unlar.edu.ar\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"RedUNCI","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"184","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1.6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}