LEADER 04085oam 2200493 450 001 996418210403316 005 20210527190010.0 010 $a3-030-64881-8 024 7 $a10.1007/978-3-030-64881-7 035 $a(CKB)4100000011631537 035 $a(DE-He213)978-3-030-64881-7 035 $a(MiAaPQ)EBC6419261 035 $a(PPN)252514580 035 $a(EXLCZ)994100000011631537 100 $a20210527d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aTesting software and systems $e32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /$fedited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XII, 317 p. 104 illus., 64 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12543 311 $a3-030-64880-X 320 $aIncludes bibliographical references and index. 327 $aModel-Based Testing -- Using Model Learning for the Generation of Mock Components -- Interrogating Virtual Agents: In Quest of Security Vulnerabilities -- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT -- Learning Abstracted Non-Deterministic Finite State Machines -- Security Testing -- APPregator: a large-scale platform for mobile security analysis -- Vulsploit: a module for semi-automatic exploitation of vulnerabilities -- About the Robustness and Looseness of Yara Rules -- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server -- Trust is in the air: a new adaptive method to evaluate mobile wireless networks -- Enabling Next-Generation Cyber Ranges with Mobile Security Components -- Testing Methods and Applications -- A Technique for Parallel GUI Testing of Android Applications -- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements -- Methods for Live Testing of Cloud Services -- Testing Methods and Automation -- Automated Transition Coverage in Behavioural Conformance Testing -- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm -- Automatic Fairness Testing of Machine Learning Models -- Inspecting Code Churns to Prioritize Test Cases -- Short Contributions -- Using an SMT solver for checking the completeness of FSM-based tests -- Hacking Goals: a goal-centric attack taxonomy in computer systems -- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems -- Architecture based on keyword driven testing with domain specific language for a testing system. 330 $aThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions. 410 0$aProgramming and Software Engineering ;$v12543 606 $aComputer software$xTesting$vCongresses 615 0$aComputer software$xTesting 676 $a005.1 702 $aCasola$b Valentina 702 $aDe Benedictis$b Alessandra 702 $aRak$b Massimiliano 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996418210403316 996 $aTesting software and systems$92088040 997 $aUNISA LEADER 05124oam 2200829 c 450 001 9910410649603321 005 20260107165057.0 010 $a9783839435946 010 $a3839435943 024 7 $a10.14361/9783839435946 035 $a(CKB)3710000000926337 035 $a(DE-B1597)474879 035 $a(OCoLC)1013955633 035 $a(OCoLC)965646232 035 $a(DE-B1597)9783839435946 035 $a(MiAaPQ)EBC5493895 035 $a(Au-PeEL)EBL5493895 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/34842 035 $a(ScCtBLL)dc53ecd5-5bef-4eca-a03c-9fb613a96e46 035 $a(transcript Verlag)9783839435946 035 $a(oapen)doab34842 035 $a(oapen)doab63008 035 $a(DE-B1597)BR1205095 035 $z(OCoLC)1013955633 035 $z(OCoLC)965646232 035 $a(oapen)34842 035 $a(EXLCZ)993710000000926337 100 $a20250802d2016 uy 0 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aZwischenstadtland Schweiz$eZur politischen Steuerung der suburbanen Entwicklung in Schweizer Gemeinden$fLineo Umberto Devecchi 205 $a1st ed. 210 $aBielefeld$ctranscript Verlag$d2016 210 $aBielefeld$ctranscript Verlag$d2016 210 1$aBielefeld$ctranscript Verlag, $d[2016] 210 4$d©2016 215 $a1 online resource 225 0 $aEdition Politik$v35 327 $aFrontmatter 1 Inhalt 5 Vorwort 9 1. Einleitung, Forschungsfrage und U?bersicht 11 2. Grundlagen: Suburbane Raumplanung und Definitionen von Governance 21 3. Lokale Governance: Strukturelle Bedingungen und lokale (Re-)Aktionen 51 4. Systematische Analyse lokaler Governance: Forschungsdesign 89 5. Gemeinden in prosperierendem o?konomischem Umfeld 105 6. Gemeinden unter Schrumpfungsdruck 189 7. Vergleich der Fallgemeinden und der Formen lokaler Governance 239 8. Entstehungsbedingungen fu?r unterschiedliche Governance-Formen 265 9. Der Outcome suburbaner Governance: Siedlungsqualita?ten und -potenziale 315 10. Diskussion der Resultate, ihre Einordnung und eine theoretische Synthese 335 11. Urbanisierung der Landschaft und Suburbanisierung der Sta?dte? 363 Literaturverzeichnis 371 Quellenverzeichnis 395 Methodischer Anhang 403 Backmatter 406 330 $aDie Schweiz unterliegt seit zwei Jahrzehnten starken Urbanisierungstendenzen, die sich vor allem zwischen den großen Kernsta?dten abspielen. Um Herausforderungen des gesteigerten Fla?chenverbrauchs wie der Zersiedelung zu begegnen, ist eine Analyse der heutigen kommunalen Entscheidungsprozesse und -logiken u?berfa?llig. Lineo Umberto Devecchi thematisiert Fragen hinsichtlich der kommunalen Steuerung raumwirksamer Prozesse und deren Auswirkungen auf die Gestaltung des suburbanen Raums. Die theoretisch abgestu?tzten Erkla?rungen sowie die nachvollziehbaren Fallstudien sind nicht nur fu?r ein interdisziplina?res akademisches Publikum, sondern auch fu?r Praktiker_innen aus Planung und Architektur von Interesse. 330 1 $a»The book is an important contribution not only to local government studies in Switzerland but as well to the international study of SMSTs. The conclusions raise important practical and political lessons that are hopefully being heard by Swiss policy makers.« David Kaufmann, Swiss Political Science Review, 23/3 (2017) Besprochen in: Fraunhofer IRB, 11 (2016) www.tandfonline.com, 13.04.2017, Christian Reutlinger http://onlinelibrary.wiley.com, 08.05.2017, David Kaufmann 410 0$aEdition Politik 606 $aVersta?dterung; Urbanisierung; Schweiz; Gemeinde; Governance; Raumordnung; Suburbaner Raum; Raumgestaltung; Kommunalpolitik; Stadt; Politik; Stadtplanung; Urban Studies; Politikwissenschaft; Urbanisation; Switzerland; Municipality; Spatial Planning; Suburban Space; Space Design; Local Affairs; City; Politics; Urban Planning; Political Science; 610 $aArbon 610 $aExekutive 610 $aGovernance 610 $aLocal Affairs City 610 $aMunicipality 610 $aPolitical Science 610 $aPolitics 610 $aProaktivita?t 610 $aRorschach 610 $aSpace Design 610 $aSpatial Planning 610 $aSuburban Space 610 $aSwitzerland 610 $aUrban Planning 610 $aUrban Studies 610 $aUrbanisation 610 $aUster 610 $aWetzikon 615 4$aVersta?dterung; Urbanisierung; Schweiz; Gemeinde; Governance; Raumordnung; Suburbaner Raum; Raumgestaltung; Kommunalpolitik; Stadt; Politik; Stadtplanung; Urban Studies; Politikwissenschaft; Urbanisation; Switzerland; Municipality; Spatial Planning; Suburban Space; Space Design; Local Affairs; City; Politics; Urban Planning; Political Science; 700 $aDevecchi$b Lineo Umberto$4aut$00 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910410649603321 996 $aZwischenstadtland Schweiz$92174824 997 $aUNINA