{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:16Z","timestamp":1750220596983,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,20]]},"DOI":"10.1145\/3425174.3425216","type":"proceedings-article","created":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:01:25Z","timestamp":1603411285000},"page":"88-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Systematic Mapping Study on Software Testing for Systems-of-Systems"],"prefix":"10.1145","author":[{"given":"Vinicius Carvalho","family":"Lopes","sequence":"first","affiliation":[{"name":"Federal University of Goi\u00e1s, Brazil, Goi\u00e2nia, Goi\u00e1s"}]},{"given":"Marcus","family":"Norberto","sequence":"additional","affiliation":[{"name":"Federal University of Goi\u00e1s, Brazil, Goi\u00e2nia, Goi\u00e1s"}]},{"given":"Douglas Winston","family":"R. S.","sequence":"additional","affiliation":[{"name":"Federal University of Goi\u00e1s, Brazil, Goi\u00e2nia, Goi\u00e1s"}]},{"given":"Mohamad","family":"Kassab","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, Pennsylvania, U.S."}]},{"given":"Anderson","family":"da Silva Soares","sequence":"additional","affiliation":[{"name":"Federal University of Goias, Goi\u00e2nia, Goi\u00e1s"}]},{"given":"Roberto","family":"Oliveira","sequence":"additional","affiliation":[{"name":"State University of Goias, Posse, Goi\u00e1s"}]},{"given":"Valdemar Vicente Graciano","family":"Neto","sequence":"additional","affiliation":[{"name":"Federal University of Goi\u00e1s, Brazil, Goi\u00e2nia, Goi\u00e1s"}]}],"member":"320","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"volume-title":"8th ICEGOV. ACM, Guimaraes, Portugal, 442--445.","author":"Alampalli Sharada","unstructured":"Sharada Alampalli and Theresa Pardo . 2014. A Study of Complex Systems Developed through Public Private Partnerships . In 8th ICEGOV. ACM, Guimaraes, Portugal, 442--445. Sharada Alampalli and Theresa Pardo. 2014. A Study of Complex Systems Developed through Public Private Partnerships. In 8th ICEGOV. ACM, Guimaraes, Portugal, 442--445.","key":"e_1_3_2_1_1_1"},{"volume-title":"Testing highly complex system of systems: an industrial case study","author":"Ali Nauman Bin","unstructured":"Nauman Bin Ali , Kai Petersen , and Mika V M\u00e4ntyl\u00e4 . 2012. Testing highly complex system of systems: an industrial case study . In ESEM. IEEE , Lund, Sweden , 211--220. Nauman Bin Ali, Kai Petersen, and Mika V M\u00e4ntyl\u00e4. 2012. Testing highly complex system of systems: an industrial case study. In ESEM. IEEE, Lund, Sweden, 211--220.","key":"e_1_3_2_1_2_1"},{"volume-title":"9th SIMUTOOLS. ICST, Prague, Czech Republic, 76--85.","author":"Arnold Alexandre","unstructured":"Alexandre Arnold , Massimo Baleani , Alberto Ferrari , Marco Marazza , Valerio Senni , Axel Legay , Jean Quilbeuf , and Christoph Etzien . 2016. An Application of SMC to Continuous Validation of Heterogeneous Systems . In 9th SIMUTOOLS. ICST, Prague, Czech Republic, 76--85. Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, and Christoph Etzien. 2016. An Application of SMC to Continuous Validation of Heterogeneous Systems. In 9th SIMUTOOLS. ICST, Prague, Czech Republic, 76--85.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","volume-title":"2005 IEEE SMC","volume":"2","author":"Auguston M.","year":"1870","unstructured":"M. Auguston , J. B. Michael , M.. Shing, and D. L. Floodeen . 2005. Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems . In 2005 IEEE SMC , Vol. 2 . IEEE, Waikoloa, HI, USA , 1870 --1875. M. Auguston, J. B. Michael, M.. Shing, and D. L. Floodeen. 2005. Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. In 2005 IEEE SMC, Vol. 2. IEEE, Waikoloa, HI, USA, 1870--1875."},{"volume-title":"35th ACM SAC. ACM, Brno, Czech Republic, 1798--1805.","author":"Baduel Ronan","unstructured":"Ronan Baduel , Iulian Ober , and Jean-Michel Bruel . 2020. Modeling and verification method for an early evaluation of systems of systems interactions . In 35th ACM SAC. ACM, Brno, Czech Republic, 1798--1805. Ronan Baduel, Iulian Ober, and Jean-Michel Bruel. 2020. Modeling and verification method for an early evaluation of systems of systems interactions. In 35th ACM SAC. ACM, Brno, Czech Republic, 1798--1805.","key":"e_1_3_2_1_5_1"},{"unstructured":"V.R. Basili C. Caldiera and H.D. Rombach. 1994. Goal question metric paradigm. Encyclopedia of software engineering 1 (1994) 528--532.  V.R. Basili C. Caldiera and H.D. Rombach. 1994. Goal question metric paradigm. Encyclopedia of software engineering 1 (1994) 528--532.","key":"e_1_3_2_1_6_1"},{"volume-title":"2012 Third International Conference on Services in Emerging Markets. IEEE Computer Society, USA, 136--141","author":"Bera P.","unstructured":"P. Bera and A. Pasala . 2012. A Framework for Optimizing Effort in Testing of System of Systems . In 2012 Third International Conference on Services in Emerging Markets. IEEE Computer Society, USA, 136--141 . P. Bera and A. Pasala. 2012. A Framework for Optimizing Effort in Testing of System of Systems. In 2012 Third International Conference on Services in Emerging Markets. IEEE Computer Society, USA, 136--141.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","volume-title":"Governing Regression Testing in Systems of Systems. In 2019 IEEE ISSREW Workshops. IEEE","author":"Bertolino Antonia","year":"2019","unstructured":"Antonia Bertolino , Guglielmo De Angelis , and Francesca Lonetti . 2019 . Governing Regression Testing in Systems of Systems. In 2019 IEEE ISSREW Workshops. IEEE , Berlin, Germany, 144--148. Antonia Bertolino, Guglielmo De Angelis, and Francesca Lonetti. 2019. Governing Regression Testing in Systems of Systems. In 2019 IEEE ISSREW Workshops. IEEE, Berlin, Germany, 144--148."},{"volume-title":"System of Systems design verification: problematic, trends and opportunities","author":"Bilal Mustapha","unstructured":"Mustapha Bilal , Nicolas Daclin , and Vincent Chapurlat . 2014. System of Systems design verification: problematic, trends and opportunities . In Enterprise Interoperability VI. Springer , 405--415. Mustapha Bilal, Nicolas Daclin, and Vincent Chapurlat. 2014. System of Systems design verification: problematic, trends and opportunities. In Enterprise Interoperability VI. Springer, 405--415.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/INDIN41052.2019.8972210"},{"key":"e_1_3_2_1_13_1","volume-title":"George Rebovich, and Ralph Lowry.","author":"Dahmann Judith","year":"2010","unstructured":"Judith Dahmann , Jo Ann Lane , George Rebovich, and Ralph Lowry. 2010 . Systems of systems test and evaluation challenges. In 5th IEEE SoSE. IEEE, Loughborough, UK , 1--6. Judith Dahmann, Jo Ann Lane, George Rebovich, and Ralph Lowry. 2010. Systems of systems test and evaluation challenges. In 5th IEEE SoSE. IEEE, Loughborough, UK, 1--6."},{"doi-asserted-by":"crossref","unstructured":"I. Deonandan R. Valerdi J. A. Lane and F. Macias. 2010. Cost and risk considerations for test and evaluation of unmanned and autonomous systems of systems. In 5th IEEE SoSE. IEEE Loughborough UK 1--6.  I. Deonandan R. Valerdi J. A. Lane and F. Macias. 2010. Cost and risk considerations for test and evaluation of unmanned and autonomous systems of systems. In 5th IEEE SoSE. IEEE Loughborough UK 1--6.","key":"e_1_3_2_1_14_1","DOI":"10.1109\/SYSOSE.2010.5544062"},{"key":"e_1_3_2_1_15_1","volume-title":"Hugo Sereno Ferreira, and Tiago Boldt Sousa","author":"Dias Jo\u00e3o Pedro","year":"2019","unstructured":"Jo\u00e3o Pedro Dias , Hugo Sereno Ferreira, and Tiago Boldt Sousa . 2019 . Testing and deployment patterns for the internet-of-things. In 24th EuroPlop. ACM, Bavarian Kloster Irsee, Germany , 1--8. Jo\u00e3o Pedro Dias, Hugo Sereno Ferreira, and Tiago Boldt Sousa. 2019. Testing and deployment patterns for the internet-of-things. In 24th EuroPlop. ACM, Bavarian Kloster Irsee, Germany, 1--8."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1865909.1865926"},{"key":"e_1_3_2_1_17_1","volume-title":"James Bret Michael, and Man-Tak Shing","author":"Driskell Stephen B","year":"2010","unstructured":"Stephen B Driskell , Judy Murphy , James Bret Michael, and Man-Tak Shing . 2010 . Independent validation of software safety requirements for systems of systems. In 5th IEEE SoSE. IEEE, Loughborough, UK , 1--6. Stephen B Driskell, Judy Murphy, James Bret Michael, and Man-Tak Shing. 2010. Independent validation of software safety requirements for systems of systems. In 5th IEEE SoSE. IEEE, Loughborough, UK, 1--6."},{"key":"e_1_3_2_1_18_1","volume-title":"iSys - Revista Brasileira de Sistemas de Informa\u00e7\u00e3o 12, 4","author":"Fl\u00e1vio Valdemar Graciano","year":"2019","unstructured":"Valdemar Graciano Neto e Fl\u00e1vio Horita e Rodrigo Santos e Davi Viana e Mohamad Kassab e Wallace Manzano e Elisa Nakagawa . 2019. S.O.B ( Save Our Budget) - A Simulation-Based Method for Prediction of Acquisition Costs of Constituents of a System-of- Systems . iSys - Revista Brasileira de Sistemas de Informa\u00e7\u00e3o 12, 4 ( 2019 ), 6--35. Valdemar Graciano Neto e Fl\u00e1vio Horita e Rodrigo Santos e Davi Viana e Mohamad Kassab e Wallace Manzano e Elisa Nakagawa. 2019. S.O.B (Save Our Budget) - A Simulation-Based Method for Prediction of Acquisition Costs of Constituents of a System-of-Systems. iSys - Revista Brasileira de Sistemas de Informa\u00e7\u00e3o 12, 4 (2019), 6--35."},{"key":"e_1_3_2_1_20_1","volume-title":"Elder de Macedo Rodrigues, and Anibal Neto.","author":"Girardon Gustavo","year":"2020","unstructured":"Gustavo Girardon , Victor Costa , Rodrigo Machado , Maicon Bernardino , Guilherme Legramante , F\u00e1bio Paulo Basso , Elder de Macedo Rodrigues, and Anibal Neto. 2020 . Testing as a Service (TaaS): A Systematic Literature Map. In 35th ACM SAC. ACM, Brno, Czech Republic , 1989--1996. Gustavo Girardon, Victor Costa, Rodrigo Machado, Maicon Bernardino, Guilherme Legramante, F\u00e1bio Paulo Basso, Elder de Macedo Rodrigues, and Anibal Neto. 2020. Testing as a Service (TaaS): A Systematic Literature Map. In 35th ACM SAC. ACM, Brno, Czech Republic, 1989--1996."},{"doi-asserted-by":"crossref","unstructured":"A. Gonzalez E. Piel and H. Gross. 2008. Architecture support for runtime integration and verification of component-based Systems of Systems. In 23rd IEEE\/ACM ASE - Workshops. IEEE L'Aquila Italy 41--48.  A. Gonzalez E. Piel and H. Gross. 2008. Architecture support for runtime integration and verification of component-based Systems of Systems. In 23rd IEEE\/ACM ASE - Workshops. IEEE L'Aquila Italy 41--48.","key":"e_1_3_2_1_21_1","DOI":"10.1109\/ASEW.2008.4686292"},{"key":"e_1_3_2_1_22_1","volume-title":"Testing: Academic & Industrial Conference-Practice and Research Techniques. IEEE","author":"Gonzalez Alberto","year":"2008","unstructured":"Alberto Gonzalez , Eric Piel , Hans-Gerhard Gross , and Maurice Glandrup . 2008 . Testing challenges of maritime safety and security systems-of-systems . In Testing: Academic & Industrial Conference-Practice and Research Techniques. IEEE , Windsor, UK, 35--39. Alberto Gonzalez, Eric Piel, Hans-Gerhard Gross, and Maurice Glandrup. 2008. Testing challenges of maritime safety and security systems-of-systems. In Testing: Academic & Industrial Conference-Practice and Research Techniques. IEEE, Windsor, UK, 35--39."},{"volume-title":"Future of software engineering research","author":"Goodenough John","unstructured":"John Goodenough and Linda Northrop . 2010. Software assurance for systems of systems . In Future of software engineering research . ACM , New York, NY, USA , 133--136. John Goodenough and Linda Northrop. 2010. Software assurance for systems of systems. In Future of software engineering research. ACM, New York, NY, USA, 133--136.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","volume-title":"Normative and Descriptive Models for Test & Evaluation of Unmanned and Autonomous Systems of Systems. In INCOSE International Symposium","volume":"20","author":"Hess John","year":"2010","unstructured":"John Hess , Gaurav Agarwal , Karl K Cowart , Indira Deonandan , C Robert Kenley , Tsoline Mikaelian , and Ricardo Valerdi . 2010 . Normative and Descriptive Models for Test & Evaluation of Unmanned and Autonomous Systems of Systems. In INCOSE International Symposium , Vol. 20 . Wiley Online Library, 644--654. John Hess, Gaurav Agarwal, Karl K Cowart, Indira Deonandan, C Robert Kenley, Tsoline Mikaelian, and Ricardo Valerdi. 2010. Normative and Descriptive Models for Test & Evaluation of Unmanned and Autonomous Systems of Systems. In INCOSE International Symposium, Vol. 20. Wiley Online Library, 644--654."},{"unstructured":"John T Hess and Ricardo Valerdi. [n.d.]. Test and evaluation of a SoS using a prescriptive and adaptive testing framework. In 5.  John T Hess and Ricardo Valerdi. [n.d.]. Test and evaluation of a SoS using a prescriptive and adaptive testing framework. In 5.","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1207\/s15327752jpa4601_16"},{"unstructured":"ISO\/IEC\/(IEEE). 2007. ISO\/IEC 42010 (IEEE Std) 1471-2000: Systems and Software engineering - Recomended practice for architectural description of software-intensive systems. 23 pages.  ISO\/IEC\/(IEEE). 2007. ISO\/IEC 42010 (IEEE Std) 1471-2000: Systems and Software engineering - Recomended practice for architectural description of software-intensive systems. 23 pages.","key":"e_1_3_2_1_27_1"},{"volume-title":"Integrated modeling and simulation framework expedite operational software testing, integration and verification for system of systems platform. In 2017 IEEE AUTOTESTCON","author":"Jha Uma S","unstructured":"Uma S Jha , Aaron White , and Amanda Stucke . 2017. Integrated modeling and simulation framework expedite operational software testing, integration and verification for system of systems platform. In 2017 IEEE AUTOTESTCON . IEEE , Schaumburg, IL, USA , 1--5. Uma S Jha, Aaron White, and Amanda Stucke. 2017. Integrated modeling and simulation framework expedite operational software testing, integration and verification for system of systems platform. In 2017 IEEE AUTOTESTCON. IEEE, Schaumburg, IL, USA, 1--5.","key":"e_1_3_2_1_28_1"},{"volume-title":"Software testing: a craftsman's approach","author":"Jorgensen Paul C","unstructured":"Paul C Jorgensen . 2018. Software testing: a craftsman's approach . CRC press . Paul C Jorgensen. 2018. Software testing: a craftsman's approach. CRC press.","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","volume-title":"Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. In 2018 IEEE ICST Workshops. IEEE","author":"Kaindl Hermann","year":"2018","unstructured":"Hermann Kaindl , Franz Lukasch , Matthias Heigl , Sevan Kavaldjian , Christoph Luckeneder , and Sebastian Rausch . 2018 . Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. In 2018 IEEE ICST Workshops. IEEE , Vasteras, Sweden, 390--391. Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, and Sebastian Rausch. 2018. Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. In 2018 IEEE ICST Workshops. IEEE, Vasteras, Sweden, 390--391."},{"key":"e_1_3_2_1_31_1","volume-title":"Testing Quality Requirements of a System-of-Systems in the Public Sector-Challenges and Potential Remedies. arXiv preprint arXiv:1602.05618","author":"Larsson Jacob","year":"2016","unstructured":"Jacob Larsson , Markus Borg , and Thomas Olsson . 2016. Testing Quality Requirements of a System-of-Systems in the Public Sector-Challenges and Potential Remedies. arXiv preprint arXiv:1602.05618 ( 2016 ). Jacob Larsson, Markus Borg, and Thomas Olsson. 2016. Testing Quality Requirements of a System-of-Systems in the Public Sector-Challenges and Potential Remedies. arXiv preprint arXiv:1602.05618 (2016)."},{"doi-asserted-by":"crossref","unstructured":"Q. Liang and S. H. Rubin. 2009. Randomization for testing systems of systems. In IEEE IRI. IEEE Las Vegas NV USA 110--114.  Q. Liang and S. H. Rubin. 2009. Randomization for testing systems of systems. In IEEE IRI. IEEE Las Vegas NV USA 110--114.","key":"e_1_3_2_1_32_1","DOI":"10.1109\/IRI.2009.5211597"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1504\/IJIDS.2012.047068"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1016\/j.procs.2013.09.276"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_3_2_1_36_1","volume-title":"Johns Hopkins APL Technical Digest","volume":"17","author":"Manthorpe William HJ","year":"1996","unstructured":"William HJ Manthorpe . 1996 . The emerging joint system of systems: A systems engineering challenge and opportunity for APL . In Johns Hopkins APL Technical Digest , Vol. 17 . Elsevier B.V, 305--313. William HJ Manthorpe. 1996. The emerging joint system of systems: A systems engineering challenge and opportunity for APL. In Johns Hopkins APL Technical Digest, Vol. 17. Elsevier B.V, 305--313."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1093\/comjnl\/bxz028"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1093\/comjnl\/bxz028"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1007\/978-3-319-66583-2_9"},{"volume-title":"The verification and validation of software architecture for systems of systems. In2009 IEEE SoSE","author":"Michael James Bret","unstructured":"James Bret Michael , Richard Riehle , and Man-Tak Shing . 2009. The verification and validation of software architecture for systems of systems. In2009 IEEE SoSE . IEEE , Albuquerque, NM, USA , 1--6. James Bret Michael, Richard Riehle, and Man-Tak Shing. 2009. The verification and validation of software architecture for systems of systems. In2009 IEEE SoSE. IEEE, Albuquerque, NM, USA, 1--6.","key":"e_1_3_2_1_40_1"},{"volume-title":"Validation framework for time-triggered system-of-systems","author":"Murshed Ayman","unstructured":"Ayman Murshed , Mohammed Abuteir , and Roman Obermaisser . 2017. Validation framework for time-triggered system-of-systems . In ICPET. IEEE, Deir El-Balah, Palestine , 103--108. Ayman Murshed, Mohammed Abuteir, and Roman Obermaisser. 2017. Validation framework for time-triggered system-of-systems. In ICPET. IEEE, Deir El-Balah, Palestine, 103--108.","key":"e_1_3_2_1_41_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1109\/ETFA.2018.8502538"},{"volume-title":"The art of software testing","author":"Myers Glenford J","unstructured":"Glenford J Myers , Corey Sandler , and Tom Badgett . 2011. The art of software testing . John Wiley & Sons . Glenford J Myers, Corey Sandler, and Tom Badgett. 2011. The art of software testing. John Wiley & Sons.","key":"e_1_3_2_1_43_1"},{"volume-title":"Software testing and quality assurance: theory and practice","author":"Naik Kshirasagar","unstructured":"Kshirasagar Naik and Priyadarshi Tripathy . 2011. Software testing and quality assurance: theory and practice . John Wiley & Sons . Kshirasagar Naik and Priyadarshi Tripathy. 2011. Software testing and quality assurance: theory and practice. John Wiley & Sons.","key":"e_1_3_2_1_44_1"},{"unstructured":"E.Y. Nakagawa K.R.F. Scannavino S.C.P.F. Fabbri and F.C. Ferrari. 2017. Revis\u00e3o Sistem\u00e1tica da Literatura em Engenharia de Software: Teoria e Pr\u00e1tica. Elsevier Editora Ltda. Brazil Rio de Janeiro.  E.Y. Nakagawa K.R.F. Scannavino S.C.P.F. Fabbri and F.C. Ferrari. 2017. Revis\u00e3o Sistem\u00e1tica da Literatura em Engenharia de Software: Teoria e Pr\u00e1tica. Elsevier Editora Ltda. Brazil Rio de Janeiro.","key":"e_1_3_2_1_45_1"},{"volume-title":"Do we need new strategies for testing Systems-of-Systems?. In 2018 IEEE\/ACM 6th SESoS","author":"de Oliveira Neves V\u00e2nia","unstructured":"V\u00e2nia de Oliveira Neves , Antonia. Bertolino, Gugliemo de. Angelis , and Lina. Garc\u00e9s. 2018. Do we need new strategies for testing Systems-of-Systems?. In 2018 IEEE\/ACM 6th SESoS . ACM , New York, NY, USA , 29--32. V\u00e2nia de Oliveira Neves, Antonia. Bertolino, Gugliemo de. Angelis, and Lina. Garc\u00e9s. 2018. Do we need new strategies for testing Systems-of-Systems?. In 2018 IEEE\/ACM 6th SESoS. ACM, New York, NY, USA, 29--32.","key":"e_1_3_2_1_46_1"},{"key":"e_1_3_2_1_47_1","volume-title":"Fabio Paulo Basso, and Elder Macedo Rodrigues","author":"Norberto Marcus","year":"2019","unstructured":"Marcus Norberto , Lukas Gaedicke , Maicon Bernardino , Guilherme Legramante , Fabio Paulo Basso, and Elder Macedo Rodrigues . 2019 . Performance Testing in Mobile Application : A Systematic Literature Map. In XVIII SQBS. ACM, Fortaleza, Brazil , 99--108. Marcus Norberto, Lukas Gaedicke, Maicon Bernardino, Guilherme Legramante, Fabio Paulo Basso, and Elder Macedo Rodrigues. 2019. Performance Testing in Mobile Application: A Systematic Literature Map. In XVIII SQBS. ACM, Fortaleza, Brazil, 99--108."},{"volume-title":"11th","author":"Oquendo Fl\u00e1vio","unstructured":"Fl\u00e1vio Oquendo . 2016. Formally describing the software architecture of Systems-of-Systems with SosADL . In 11th SoSE. IEEE , Kongsberg, Norway , 1--6. Fl\u00e1vio Oquendo. 2016. Formally describing the software architecture of Systems-of-Systems with SosADL. In 11th SoSE. IEEE, Kongsberg, Norway, 1--6.","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","volume-title":"ECSA","author":"Oquendo Fl\u00e1vio","year":"2016","unstructured":"Fl\u00e1vio Oquendo . 2016. Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems . In ECSA 2016 , Vol. 9839 . Springer , Copenhagen, Denmark , 3--21. Fl\u00e1vio Oquendo. 2016. Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. In ECSA 2016, Vol. 9839. Springer, Copenhagen, Denmark, 3--21."},{"volume-title":"15th","author":"Oquendo Fl\u00e1vio","unstructured":"Fl\u00e1vio Oquendo . 2020. Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems . In 15th IEEE SoSE. IEEE, Budapest, Hungary , Hungary , 555--562. Fl\u00e1vio Oquendo. 2020. Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. In 15th IEEE SoSE. IEEE, Budapest, Hungary, Hungary, 555--562.","key":"e_1_3_2_1_50_1"},{"volume-title":"12th EASE","author":"Petersen Kai","unstructured":"Kai Petersen , Robert Feldt , Shahid Mujtaba , and Michael Mattsson . 2008. Systematic Mapping Studies in Software Engineering . In 12th EASE . BCS Learning & Development Ltd ., Swindon, GBR, 68--77. Kai Petersen, Robert Feldt, Shahid Mujtaba, and Michael Mattsson. 2008. Systematic Mapping Studies in Software Engineering. In 12th EASE. BCS Learning & Development Ltd., Swindon, GBR, 68--77.","key":"e_1_3_2_1_51_1"},{"volume-title":"4th","author":"Sanchez A.","unstructured":"A. Sanchez . 2011. Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems . In 4th ICST. IEEE , Berlin, Germany , 439--442. A. Sanchez. 2011. Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems. In 4th ICST. IEEE, Berlin, Germany, 439--442.","key":"e_1_3_2_1_52_1"},{"unstructured":"Jiyoung Song Young-Min Baek Mingyu Jin Eunkyoung Jee and Doo-Hwan Bae. [n.d.]. SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. In 24.  Jiyoung Song Young-Min Baek Mingyu Jin Eunkyoung Jee and Doo-Hwan Bae. [n.d.]. SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. In 24.","key":"e_1_3_2_1_53_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_54_1","DOI":"10.1631\/FITEE.1500309"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_55_1","DOI":"10.1007\/978-1-4615-4625-2"},{"volume-title":"9th","author":"Chen","unstructured":"Chen Xiao-yang, Xing Ji-juan, and Song Nai-hua. 2014. Research on verification and validation of conceptual model of weapons system of systems simulation . In 9th SoSE. IEEE , Adelaide, Australia , 130--135. Chen Xiao-yang, Xing Ji-juan, and Song Nai-hua. 2014. Research on verification and validation of conceptual model of weapons system of systems simulation. In 9th SoSE. IEEE, Adelaide, Australia, 130--135.","key":"e_1_3_2_1_56_1"},{"volume-title":"Mutation analysis for system of systems policy testing","author":"Yun Wonkyung","unstructured":"Wonkyung Yun , Donghwan Shin , and Doo-Hwan Bae . 2017. Mutation analysis for system of systems policy testing . In SESoS\/WDES. IEEE, Buenos Aires , Argentina , 16--22. Wonkyung Yun, Donghwan Shin, and Doo-Hwan Bae. 2017. Mutation analysis for system of systems policy testing. In SESoS\/WDES. IEEE, Buenos Aires, Argentina, 16--22.","key":"e_1_3_2_1_57_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_58_1","DOI":"10.1016\/j.procs.2013.09.270"}],"event":{"sponsor":["SBC Brazilian Computer Society"],"acronym":"SAST 20","name":"SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing","location":"Natal Brazil"},"container-title":["Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425174.3425216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425174.3425216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:54Z","timestamp":1750195914000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425174.3425216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,20]]},"references-count":55,"alternative-id":["10.1145\/3425174.3425216","10.1145\/3425174"],"URL":"https:\/\/doi.org\/10.1145\/3425174.3425216","relation":{},"subject":[],"published":{"date-parts":[[2020,10,20]]},"assertion":[{"value":"2020-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}