{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T06:19:10Z","timestamp":1783577950998,"version":"3.55.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032306982","type":"print"},{"value":"9783032306999","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:00:00Z","timestamp":1783641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:00:00Z","timestamp":1783641600000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-30699-9_4","type":"book-chapter","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T05:43:24Z","timestamp":1783575804000},"page":"49-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Simulation-Based Genetic Algorithm to Find Configuration Anomalies in UAV Software"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5147-3233","authenticated-orcid":false,"given":"Salil","family":"Purandare","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2443-2425","authenticated-orcid":false,"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"4_CR1","unstructured":"Ardupilot: Ardupilot open source autopilot. https:\/\/ardupilot.org\/, (Accessed 02\/12\/26)"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Arrieta, A., Wang, S., Markiegi, U., Sagardui, G., Etxeberria, L.: Search-based test case generation for cyber-physical systems. IEEE Congress on Evolutionary Computation (CEC) , 688\u2013697 (2017). https:\/\/doi.org\/10.1109\/CEC.2017.7969377","DOI":"10.1109\/CEC.2017.7969377"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2013","unstructured":"Fraser, G., Arcuri, A.: Whole test suite generation. IEEE Trans. Software Eng. 39(2), 276\u2013291 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.14","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1109\/TSE.2024.3354739","volume":"50","author":"R Han","year":"2024","unstructured":"Han, R., et al.: Range specification bug detection in flight control system through fuzzing. IEEE Trans. Softw. Eng. 50(3), 461\u2013473 (2024). https:\/\/doi.org\/10.1109\/TSE.2024.3354739","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Jung, C., Ahad, A., Jung, J., Elbaum, S., Kwon, Y.: Swarmbug: debugging configuration bugs in swarm robotics. In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2021, pp. 868\u2013880. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3468264.3468601","DOI":"10.1145\/3468264.3468601"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Khatiri, S., Panichella, S., Tonella, P.: Simulation-based testing of unmanned aerial vehicles with aerialist. In: Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2024, pp. 134\u2013138. (2024). https:\/\/doi.org\/10.1145\/3639478.3640031","DOI":"10.1145\/3639478.3640031"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Kim, H., Ozmen, M.O., Bianchi, A., Celik, Z.B., Xu, D.: Pgfuzz: policy-guided fuzzing for robotic vehicles. In: Network and Distributed System Security Symposium (NDSS) (Nov 2021). https:\/\/doi.org\/10.14722\/ndss.2021.24096","DOI":"10.14722\/ndss.2021.24096"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Kim, S., Kim, T.: Robofuzz: fuzzing robotic systems over robot operating system (ros) for finding correctness bugs. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2022, pp. 447\u2013458. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3540250.3549164","DOI":"10.1145\/3540250.3549164"},{"key":"4_CR9","unstructured":"Kim, T., et\u00a0al.: RVFuzzer: finding input validation bugs in robotic vehicles through Control-Guided testing. In: 28th USENIX Security Symposium (USENIX Security 19), pp. 425\u2013442. USENIX Association, Santa Clara, CA (Aug 2019). https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/kim"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012). https:\/\/doi.org\/10.1109\/TSE.2011.104","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Meier, L., Honegger, D., Pollefeys, M.: PX4: a node-based multithreaded open source robotics framework for deeply embedded platforms. In: 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 6235\u20136240. (2015). https:\/\/doi.org\/10.1109\/ICRA.2015.7140074","DOI":"10.1109\/ICRA.2015.7140074"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Purandare, S., Cohen, M.B.: Exploration of failures in an suas controller software product line. In: Proceedings of the 28th ACM International Systems and Software Product Line Conference, pp. 125\u2013135. (2024). https:\/\/doi.org\/10.1145\/3646548.3672597","DOI":"10.1145\/3646548.3672597"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Purandare, S., Islam, M.N.A., Sinha, U., Cleland-Huang, J., Cohen, M.B.: An evaluation of self-adaptive mechanisms for misconfigurations in small uncrewed aerial systems. ACM Trans. Auton. Adapt. Syst. 20(2) (2025). https:\/\/doi.org\/10.1145\/3707643","DOI":"10.1145\/3707643"},{"key":"4_CR14","unstructured":"PX4: PX4 documentation. https:\/\/docs.px4.io\/main\/en\/ (Accessed 3\/9\/26)"},{"key":"4_CR15","unstructured":"PX4: Help on pid tuning! (Posted April 2025). https:\/\/discuss.px4.io\/t\/help-on-pid-tunning\/45161"},{"key":"4_CR16","unstructured":"PX4: Newbie trying to debug severe flight instability, fly-away, and crash (Posted July 2019). https:\/\/discuss.px4.io\/t\/newbie-trying-to-debug-severe-flight-instability-fly-away-and-crash\/11951"},{"key":"4_CR17","unstructured":"PX4: Pids and stability problem (Posted July 2021). https:\/\/discuss.px4.io\/t\/pids-and-stability-problem\/23393"},{"key":"4_CR18","unstructured":"PX4: Strange harrier d7 crash (Posted Oct 2019). https:\/\/discuss.px4.io\/t\/strange-harrier-d7-crash\/13480"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Sayyad, A.S., Ingram, J., Menzies, T., Ammar, H.: Scalable product line configuration: a straw to break the camel\u2019s back. In: Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, pp. 465\u2013474. (2013). https:\/\/doi.org\/10.1109\/ASE.2013.6693104","DOI":"10.1109\/ASE.2013.6693104"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Tang, C., Sullivan, K., Ray, B.: Searching for high-performing software configurations with metaheuristic algorithms, ICSE 2018, pp. 354\u2013355. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3183440.3195006","DOI":"10.1145\/3183440.3195006"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"3311","DOI":"10.1145\/3719027.3765129","volume":"2025","author":"J Wang","year":"2025","unstructured":"Wang, J., Zhang, H., Jiang, C., Clark, A., Zhang, N.: Contest: taming the cyber-physical input space in fuzz testing with control theory. CCS 2025, 3311\u20133325 (2025). https:\/\/doi.org\/10.1145\/3719027.3765129","journal-title":"CCS"},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","DOI":"10.3233\/MIS-2012-00153","volume":"8","author":"F Xhafa","year":"2012","unstructured":"Xhafa, F., Sun, J., Barolli, A., Biberaj, A., Barolli, L.: Genetic algorithms for satellite scheduling problems. Mob. Inf. Syst. 8(4), 717658 (2012). https:\/\/doi.org\/10.3233\/MIS-2012-00153","journal-title":"Mob. Inf. Syst."},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Xie, K.T., Bai, J.J., Zou, Y.H., Wang, Y.P.: Rozz: property-based fuzzing for robotic programs in ros. In: 2022 International Conference on Robotics and Automation (ICRA), pp. 6786\u20136792. (2022). https:\/\/doi.org\/10.1109\/ICRA46639.2022.9811701","DOI":"10.1109\/ICRA46639.2022.9811701"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"Yan, Y., Yu, X., Ma, Y., Li, X., Li, Y., Tan, Y.a.: Real-time diagnosis of uav configuration parameters based on fuzz testing. In: Taniguchi, T., et\u00a0al. (eds.) Neural Information Processing, pp. 135\u2013147. Springer Nature Singapore, Singapore (2026). https:\/\/doi.org\/10.1007\/978-981-95-4109-6_10","DOI":"10.1007\/978-981-95-4109-6_10"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Yin, K., Arcaini, P., Yue, T., Ali, S.: Analyzing the impact of product configuration variations on advanced driver assistance systems with search. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2021, pp. 1106\u20131114. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3449639.3459332","DOI":"10.1145\/3449639.3459332"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Lu, H., Nie, K.: Search-based decision ordering to facilitate product line engineering of cyber-physical system. In: 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 691\u2013703. (2016)","DOI":"10.5220\/0005717006910703"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-30699-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T05:43:25Z","timestamp":1783575805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30699-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,10]]},"ISBN":["9783032306982","9783032306999"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30699-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,10]]},"assertion":[{"value":"10 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Search Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montreal, QC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssbse2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ssbse-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}