Search Results for Software Testing. - Narrowed by: Computer networks .SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bTesting.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-22T12:54:06ZTesting Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6070162026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80889-0">https://doi.org/10.1007/978-3-031-80889-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135322026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6169862026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6079732026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6020782026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49266-2">https://doi.org/10.1007/978-3-031-49266-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6020792026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022ent://SD_ILS/0/SD_ILS:6019182026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5091-1">https://doi.org/10.1007/978-981-99-5091-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Attacks, Defenses and Testing for Deep Learningent://SD_ILS/0/SD_ILS:6038312026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0425-5">https://doi.org/10.1007/978-981-97-0425-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022ent://SD_ILS/0/SD_ILS:5285372026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4554-2">https://doi.org/10.1007/978-981-99-4554-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6108542026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159812026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Software Engineering From Fundamentals to Application Methodsent://SD_ILS/0/SD_ILS:6178362026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks for Structural Health Monitoringent://SD_ILS/0/SD_ILS:6135962026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29034-8">https://doi.org/10.1007/978-3-319-29034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115372026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Opportunistic Mobile Networks Advances and Applicationsent://SD_ILS/0/SD_ILS:6150922026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014ent://SD_ILS/0/SD_ILS:5298892026-03-22T12:54:06Z2026-03-22T12:54:06ZAuthor Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-7236-5">https://doi.org/10.1007/978-94-017-7236-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>