{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T21:18:19Z","timestamp":1783804699980,"version":"3.55.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:00:00Z","timestamp":1605657600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:00:00Z","timestamp":1605657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2013\/03459-4"],"award-info":[{"award-number":["2013\/03459-4"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s11219-020-09535-w","type":"journal-article","created":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T08:03:22Z","timestamp":1605686602000},"page":"3-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Integration testing for robotic systems"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6157-0563","authenticated-orcid":false,"given":"Maria A. S.","family":"Brito","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simone R. S.","family":"Souza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo S. L.","family":"Souza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,11,18]]},"reference":[{"key":"9535_CR1","doi-asserted-by":"crossref","unstructured":"Abdelgawad, M., McLeod, S., Andrews, A., & Xiao, J. (2017). Model-based testing of real-time adaptive motion planning (RAMP). In: IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR, 162\u2013169.","DOI":"10.1109\/SIMPAR.2016.7862391"},{"key":"9535_CR2","doi-asserted-by":"crossref","unstructured":"Ammann, P., & Offutt, J. (2008). Introduction to Software Testing. Cambridge University Press.","DOI":"10.1017\/CBO9780511809163"},{"key":"9535_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., & Pezz\u00e9, M. (2006). An introduction to software testing. Electronic Notes in Theoretical Computer Science, proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), 148(1), 89\u2013111.","DOI":"10.1016\/j.entcs.2005.12.014"},{"key":"9535_CR4","doi-asserted-by":"crossref","unstructured":"Belli, F., Hollmann, A., & Padberg, S. (2009). Communication sequence graphs for mutation-oriented integration testing. In: Secure Software Integration and Reliability Improvement - SSIRI, Third IEEE International Conference on, 387\u2013392.","DOI":"10.1109\/SSIRI.2009.50"},{"issue":"4","key":"9535_CR5","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1007\/s11219-016-9328-4","volume":"25","author":"V Blondeau","year":"2017","unstructured":"Blondeau, V., Etien, A., Anquetil, N., Cresson, S., Croisy, P., & Ducasse, S. (2017). Test case selection in industry: an analysis of issues related to static approaches. Software Quality Journal,\u00a025(4), 1203\u20131237.","journal-title":"Software Quality Journal"},{"key":"9535_CR6","unstructured":"Brito, MAS. (2017). Study and definition of integration software testing for mobile robotic systems. PhD thesis, ICMC\/USP, Sao Carlos - Sao Paulo - Brasil, portuguese."},{"key":"9535_CR7","doi-asserted-by":"crossref","unstructured":"Brito, MAS., Santos, M., Souza, PSL., & Souza, SRS. (2015). Integration testing criteria for mobile robotic systems. In: International Conference on Software Engineering & Knowledge Engineering.","DOI":"10.18293\/SEKE2015-191"},{"issue":"2","key":"9535_CR8","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s11390-009-9219-2","volume":"24","author":"P Brito","year":"2009","unstructured":"Brito, P., De Lemos, R., Rubira, C., & Martins, E. (2009). Architecting fault tolerance with exception handling: Verification and validation. Journal of Computer Science and Technology,\u00a024(2), 212\u2013237.","journal-title":"Journal of Computer Science and Technology"},{"key":"9535_CR9","first-page":"4987","volume":"5","author":"J Carlson","year":"2004","unstructured":"Carlson, J., Murphy, R. R., & Nelson, A. (2004). Follow-up analysis of mobile robot failures. International Conference on Robotics and Automation, ICRA,\u00a05, 4987\u20134994.","journal-title":"International Conference on Robotics and Automation, ICRA"},{"key":"9535_CR10","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-00593-0_30","volume":"5503","author":"Q Chen","year":"2009","unstructured":"Chen, Q., Wang, L., Yang, Z., & Stoller, S. (2009). HAVE: Detecting atomicity violations via integrated dynamic and static analysis. Fundamental Approaches to Software Engineering, Springer, Berlin Heidelberg, 5503, 425\u2013439.","journal-title":"Fundamental Approaches to Software Engineering, Springer, Berlin Heidelberg"},{"key":"9535_CR11","doi-asserted-by":"crossref","unstructured":"Damm, W., Hungar, H., Josko, B., Peikenkamp, T., & Stierand, I. (2011). Using contract-based component specifications for virtual integration testing and architecture design. In: Design, Automation Test in Europe Conference Exhibition, 1023\u20131028.","DOI":"10.1109\/DATE.2011.5763167"},{"issue":"2","key":"9535_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P Eugster","year":"2003","unstructured":"Eugster, P., Felber, P. A., Guerraoui, R., & Kermarrec, A. (2003). The many faces of publish\/subscribe. ACM Comput Surv, 35(2), 114\u2013131.","journal-title":"ACM Comput Surv"},{"key":"9535_CR13","unstructured":"Fernandes, LC., Souza, JR., Pessim, G., Shinzato, PY., Sales, DO., Grassi, Jr., V., ... Wolf, DF. (2013). CaRINA intelligent robotic car: Architectural design and implementations. Journal of Systems Architecture."},{"key":"9535_CR14","unstructured":"Frankl, F., & Weyuker, E. (1986). Data ow testing in the presence of unexecutable paths. In: Proceedings of the Workshop on Software Testing, 4\u201313."},{"key":"9535_CR15","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software Heidelberg: Springer","author":"D Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., & Kim, J. S. (2003). Model checking publish-subscribe systems. In T. Ball & S. K. Rajamani (Eds.), Model Checking Software Heidelberg: Springer (pp. 166\u2013180). Berlin: Berlin Heidelberg."},{"key":"9535_CR16","unstructured":"Kaner, C. (2003). An introduction to scenario testing. Tech. rep.: University Florida Tech."},{"key":"9535_CR17","unstructured":"Kang, JS., & Park, HS. (2011). RPIST: Required and provided interface specification-based test case generation and execution methodology for robot software component. In: Int. Conference on Ubiquitous Robots and Ambient Intelligence, 647\u2013651."},{"key":"9535_CR18","doi-asserted-by":"crossref","unstructured":"Kang, J. S., & Park, H. S. (2012). Web-based automated black-box testing framework for component based robot software. Proceedings of the ACM Conference on Ubiquitous Computing, UbiComp, 852\u2013859. https:\/\/doi.org\/10.1145\/2370216.2370410, http:\/\/doi.acm.org\/10.1145\/2370216.2370410.","DOI":"10.1145\/2370216.2370410"},{"key":"9535_CR19","doi-asserted-by":"crossref","unstructured":"Kang, SS., Maeng, SW., Kim, SW., & Park, HS. (2010). SITAT: Simulation-based interface testing automation tool for robot software component. In: Int. Conference on Control Automation and Systems, 1781\u20131784.","DOI":"10.1109\/ICCAS.2010.5670214"},{"issue":"2","key":"9535_CR20","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s11219-016-9346-2","volume":"26","author":"D Kim","year":"2018","unstructured":"Kim, D., Hong, J. E., & Chung, L. (2018). Investigating relationships between functional coupling and the energy efficiency of embedded software. Software Quality Journal,\u00a026(2), 491\u2013519.","journal-title":"Software Quality Journal"},{"issue":"2","key":"9535_CR21","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10514-006-9013-8","volume":"22","author":"J Kramer","year":"2007","unstructured":"Kramer, J., & Scheutz, M. (2007). Development environments for autonomous mobile robots: A survey. Auton Robots,\u00a022(2), 101\u2013132.","journal-title":"Auton Robots"},{"key":"9535_CR22","first-page":"369","volume":"27","author":"N Lee","year":"2002","unstructured":"Lee, N., Kim, T., & Cha, S. (2002). Construction of global finite state machine for testing task interactions written in message sequence charts. International conference on Software engineering and knowledge engineering,\u00a027, 369\u2013376.","journal-title":"International conference on Software engineering and knowledge engineering"},{"key":"9535_CR23","doi-asserted-by":"crossref","unstructured":"Leung, HKN., & White, L. (1990). A study of integration testing and software regression at the integration level. In: Conference on Software Maintenance, 290\u2013301.","DOI":"10.1109\/ICSM.1990.131377"},{"key":"9535_CR24","doi-asserted-by":"crossref","unstructured":"Lim, JH., Song, SH., Kuc, TY., Park, HS., & Kim, HS. (2009). A hierarchical test model and automated test framework for RTC. In: Int. Conf. on Future Generation Information Technology, 198\u2013207.","DOI":"10.1007\/978-3-642-10509-8_23"},{"key":"9535_CR25","doi-asserted-by":"crossref","unstructured":"Lima, LP., & Cavalli, AR. (1997). A pragmatic approach to generating test sequences for embedded systems. In: International Federation for Information Processing, 288\u2013307.","DOI":"10.1007\/978-0-387-35198-8_18"},{"key":"9535_CR26","doi-asserted-by":"crossref","unstructured":"Lu, XL., Dong, YW., Sun, B., & Zhao, HB. (2011). Research of embedded software testing method based on AADL modes. In: 3rd International Conference on Communication Software and Networks, 89\u201392.","DOI":"10.1109\/ICCSN.2011.6014225"},{"key":"9535_CR27","doi-asserted-by":"crossref","unstructured":"Lucas, C., Elbaum, S., & Rosenblum, DS. (2012). Detecting problematic message sequences and frequencies in distributed systems. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, New York, NY, USA, OOPSLA \u201912, 915\u2013926.","DOI":"10.1145\/2384616.2384683"},{"key":"9535_CR28","unstructured":"Lussier, B., Chatila, R., Ingrand, F., Killijian, M., & Powell, D. (2004). On fault tolerance and robustness in autonomous systems. In: 3rdI ARPIEEE\/RASEURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments."},{"key":"9535_CR29","doi-asserted-by":"crossref","unstructured":"Matias, LPN., Santos, TC., Wolf, DF., & Souza, JR. (2015). Path planning and autonomous navigation using amcl and AD*. In: 12th Latin American Robotics Symposium and 3rd Brazilian Symposium on Robotics (LARS-SBR), 320\u2013324.","DOI":"10.1109\/LARS-SBR.2015.31"},{"issue":"1","key":"9535_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2011.02.034","volume":"85","author":"F Mattiello-Francisco","year":"2012","unstructured":"Mattiello-Francisco, F., Martins, E., Cavalli, A., & Yano, E. (2012). Inrob: An approach for testing interoperability and robustness of real-time embedded software. Journal of Systems and Software,\u00a085(1), 3\u201315.","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"9535_CR31","first-page":"921","volume":"26","author":"S Melo","year":"2017","unstructured":"Melo, S., Souza, S. R. S., Sarmanho, F. S., & Souza, P. S. L. (2017). Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. Software Quality Journal,\u00a026(1), 921\u2013959.","journal-title":"Software Quality Journal"},{"key":"9535_CR32","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2004","unstructured":"Myers, G. J., Sandler, C., Badgett, T., & Thomas, T. M. (2004). The Art of Software Testing. Hoboken, New Jersey: John Wiley & Sons Inc."},{"key":"9535_CR33","unstructured":"Neves, VO., Delamaro, ME., Masiero, P., Mendes, CCT., & Wolf, DF. (2013). Structural testing of autonomous vehicles. In: 25th International Conference on Software Engineering & Knowledge Engineering, 200\u2013205."},{"key":"9535_CR34","doi-asserted-by":"crossref","unstructured":"Pakala, H., Khan, I., & Raju, K. (2010). Sensors integration in embedded systems. In: International Conference on Power, Control and Embedded Systems.","DOI":"10.1109\/ICPCES.2010.5698681"},{"key":"9535_CR35","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-17881-8_20","volume":"133","author":"HGM Pakala","year":"2011","unstructured":"Pakala, H. G. M., Raju, K. V. S. V. N., & Khan, I. (2011). Integration testing of multiple embedded processing components. Advanced Computing,\u00a0133, 200\u2013209.","journal-title":"Advanced Computing"},{"key":"9535_CR36","first-page":"453","volume-title":"SITAF: Simulation-based interface testing automation framework for robot software component","author":"H Park","year":"2012","unstructured":"Park, H., & Seok Kang, J. (2012). SITAF: Simulation-based interface testing automation framework for robot software component (pp. 453\u2013470). InTech: Automation."},{"key":"9535_CR37","unstructured":"Planthaber, S., Vogelgesang, J., & Nieben, E. (2011). CoHoN: A fault-tolerant publish\/subscribe tree-based middleware for robots with heterogeneous communication hardware. In: International Conference on Robotics and Biomimetics. IEEE International Conference on Robotics and Biomimetics (IEEE-ROBIO), 232\u2013235."},{"key":"9535_CR38","doi-asserted-by":"crossref","unstructured":"Prado, RR., Souza, PSL., Souza, SRS., Dourado, GGM., & Batista, RN. (2016). Valipar service: structural testing of concurrent programs a web service composition. In: 13th International Conference on Information Technology: New Generations (ITNG), 581\u2013590.","DOI":"10.1007\/978-3-319-32467-8_51"},{"key":"9535_CR39","unstructured":"Pressman, R. S. (2005). Software Engineering: Practitioner\u2019s Approach (6th ed.). McGraw-Hill."},{"issue":"4","key":"9535_CR40","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S Rapps","year":"1985","unstructured":"Rapps, S., & Weyuker, E. J. (1985). Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE,\u00a011(4), 367\u2013375.","journal-title":"IEEE Transactions on Software Engineering, SE"},{"key":"9535_CR41","volume-title":"Introduction to Autonomous Mobile Robots","author":"R Siegwart","year":"2004","unstructured":"Siegwart, R., & Nourbakhsh, I. R. (2004). Introduction to Autonomous Mobile Robots. Scituate, MA, USA: Bradford Company."},{"key":"9535_CR42","unstructured":"Son, J., Kuc, T., Park, J., & Kim, H., (2011). Simulation based functional and per- formance evaluation of robot components and modules. In: International Conference on Information Science and Applications, 1\u20137."},{"key":"9535_CR43","doi-asserted-by":"crossref","unstructured":"Sotiropoulos, T., Waeselynck, H., Guiochet, J., & Ingrand, F. (2017). Can robot navigation bugs be found in simulation? an exploratory study. In: IEEE Inter- national Conference on Software Quality, Reliability and Security (QRS), 150\u2013159.","DOI":"10.1109\/QRS.2017.25"},{"issue":"1","key":"9535_CR44","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1002\/cpe.2937","volume":"26","author":"PSL Souza","year":"2014","unstructured":"Souza, P. S. L., Souza, S. R. S., & Zaluska, E. (2014). Structural testing for message-passing concurrent programs: an extended test model. Concurrency and Computation: Practice and Experience,\u00a026(1), 21\u201350.","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"16","key":"9535_CR45","doi-asserted-by":"publisher","first-page":"1893","DOI":"10.1002\/cpe.1297","volume":"20","author":"SRS Souza","year":"2008","unstructured":"Souza, S. R. S., Vergilio, S. R., Souza, P. S. L., Sim\u00e3o, A. S., & Hausen, A. C. (2008). Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience,\u00a020(16), 1893\u20131916.","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"2","key":"9535_CR46","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s11219-016-9334-6","volume":"26","author":"M S\u00f6ylemez","year":"2018","unstructured":"S\u00f6ylemez, M., & Tarhan, A. (2018). Challenges of software process and product quality improvement: catalyzing defect root-cause investigation by process enactment data analysis. Software Quality Journal,\u00a026(2), 779\u2013807.","journal-title":"Software Quality Journal"},{"key":"9535_CR47","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-642-39250-4_31","volume-title":"RoboCup 2012: Robot Soccer World Cup XVI Heidelberg: Springer","author":"G Steinbauer","year":"2013","unstructured":"Steinbauer, G. (2013). A survey about faults of robots used in robocup. In X. Chen, P. Stone, L. E. Sucar, & T. van der Zant (Eds.), RoboCup 2012: Robot Soccer World Cup XVI Heidelberg: Springer (pp. 344\u2013355). Berlin: Berlin Heidelberg."},{"key":"9535_CR48","volume-title":"Component Software: Beyond Object-Oriented Program- ming","author":"C Szyperski","year":"2002","unstructured":"Szyperski, C. (2002). Component Software: Beyond Object-Oriented Program- ming. Boston, MA: Addison-Wesley."},{"key":"9535_CR49","doi-asserted-by":"crossref","unstructured":"Tzafestas, S. (2014). Introduction to Mobile Robot Control. Elsevier.","DOI":"10.1016\/B978-0-12-417049-0.00005-5"},{"key":"9535_CR50","unstructured":"Weisshardt, F., Kett, J., Araujo, De Freitas Oliveira, T., Bubeck, A., & Verl, A., (2014). Enhancing software portability with a testing and evaluation platform. Proceedings for the Joint Conference of ISR 2014\u201345th International Sym- posium on Robotics and Robotik - 8th German Conference on Robotics Munich, Germany: ISR\/ROBOTIK, 219\u2013224."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09535-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-020-09535-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09535-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,22]],"date-time":"2022-04-22T10:10:05Z","timestamp":1650622205000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-020-09535-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,18]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["9535"],"URL":"https:\/\/doi.org\/10.1007\/s11219-020-09535-w","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,18]]},"assertion":[{"value":"7 October 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 November 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}