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 01605nam a2200373 a 4500 001 991000720029707536 008 090521s2009 gw b 100 0 ger d 020 $a9783899495355 035 $ab13900870-39ule_inst 040 $aDip.to Studi Giuridici 245 00$aErosion von Verfassungsvoraussetzungen :$bBerichte und Diskussionen auf der Tagung der Vereinigung der Deutschen Staatsrechtslehrer in Erlangen vom 1. bis 4. Oktober 2008 /$c[Redaktion, Christoph Engel] 260 $aBerlin :$bDe Gruyter Recht,$c2009 300 $a605 p. ;$c23 cm. 440 0$aVeröffentlichungen der Vereinigung der Deutschen Staatsrechtslehrer ;$v68 504 $aContiene bibliografia 650 04$aLegge$xCostituzionalità$zGermania$vCongressi 650 04$aDemocrazia$zGermania$vCongressi 700 1 $aEngel, Christoph,$d1956- 700 1 $aSacksofsky, Ute 700 1 $aMöllers, Chrisoph 700 1 $aDavy, Ulrike 700 1 $aKluth, Winfried 700 1 $aBaer, Susanne 700 1 $aHolznagel, Bernd 700 1 $aHorn, Hans-Detlef 700 1 $aAxer, Peter 710 2 $aVereinigung der Deutschen Staatsrechtslehrer.$bCongresso$d<2008 :$cErlangen, Germania> 774 1 $tVeröffentlichungen der Vereinigung der Deutschen Staatsrechtslehrer 907 $a.b13900870$b02-04-14$c06-05-10 912 $a991000720029707536 945 $aLE027 342.43 VVD01.03$cn. 68/2009$g1$i2027000303229$lle027$op$pE138.43$q-$rl$s- $t0$u0$v0$w0$x0$y.i15134465$z25-05-10 996 $aErosion von Verfassungsvoraussetzungen$9227437 997 $aUNISALENTO 998 $ale027$b06-05-10$cm$da $e-$fger$ggw $h0$i0 LEADER 00958nam0 22002651i 450 001 UON00078256 005 20231205102419.836 100 $a20020107d1970 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aAfrica discovers her past$fEdited by J.D. Fage 210 $aLondon$cOxford University Press$d1970 215 $aV, 96 p.$d22 cm 606 $aSTORIOGRAFIA AFRICANA$3UONC019538$2FI 620 $aGB$dLondon$3UONL003044 676 $a907.2$cStoriografia$v21 702 1$aFAGE$bJohn D.$3UONV043996 712 $aOxford University Press$3UONV245947$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00078256 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI AFR GEN 0112 $eSI AA 1015 7 0112 996 $aAFRICA Discovers Her Past$9643596 997 $aUNIOR