LEADER 01162nam--2200373---450- 001 990003373070203316 005 20100222134436.0 010 $a88-464-5718-8 035 $a000337307 035 $aUSA01000337307 035 $a(ALEPH)000337307USA01 035 $a000337307 100 $a20100222d2004----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aSostenibilità ambientale e partecipazione$emodelli applicativi ed esperienze di Agenda 21 Locale in Italia$fa cura di Enrico Maria Tacchi 210 $aMilano$cAngeli$d2004 215 $a155 p.$d24 cm 410 0$12001 454 0$12001 606 0 $aAmbiente naturale$xProtezione$2BNCF 676 $a333.72 700 1$aTACCHI,$bEnrico Maria$0129603 801 0$aIT$bsalbc$gISBD 912 $a990003373070203316 951 $a333.72 SOS 2$b221040 L.M.$c333.72$d00255907 959 $aBK 969 $aUMA 979 $aALESSANDRA$b90$c20100222$lUSA01$h1340 979 $aALESSANDRA$b90$c20100222$lUSA01$h1341 979 $aALESSANDRA$b90$c20100222$lUSA01$h1344 996 $aSostenibilità ambientale e partecipazione$91123263 997 $aUNISA LEADER 04890nam 22007335 450 001 9910349275703321 005 20251225193708.0 010 $a3-030-31280-1 024 7 $a10.1007/978-3-030-31280-0 035 $a(CKB)4100000009453400 035 $a(DE-He213)978-3-030-31280-0 035 $a(MiAaPQ)EBC5964442 035 $a(PPN)255405278 035 $a(EXLCZ)994100000009453400 100 $a20190917d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTesting Software and Systems $e31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15?17, 2019, Proceedings /$fedited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIV, 297 p. 247 illus., 41 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11812 311 08$a3-030-31279-8 320 $aIncludes bibliographical references and index. 327 $aTest and Arti?cial Intelligence -- Learning a Behavior Model of Hybrid Systems through Combining Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair -- Testing Chatbots using Metamorphic Relations -- Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs -- Test Case Generation -- Combining Model Re?nement and Test Generation for Conformance Testing of the IEEE PHD Protocol using Abstract State Machines -- Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs -- Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts -- Empirical Approaches -- An Empirical Evaluation of Search Algorithms for App Testing -- Performance comparison of two search-based testing strategies for ADAS System Validation -- Testing and Veri?cation Techniques -- Bounded Exhaustive Testing with Certi?ed and OptimizedData Enumeration Programs -- A Mechanised Proof of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security and Performance Testing -- Towards an E?cient Performance Testing through Dynamic Workload Adaptation -- DYNAMOJM: A JMeter Tool for Performance Testing using Dynamic Workload Adaptation -- Attack tolerance for service-based applications in the Cloud -- Industrial Applications -- Automatic generation of test oracles from component based software architectures -- Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms -- TestDCat: Catalog of Test Debt Subtypes and Management Activities. 330 $aThis book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. 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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11812 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aArtificial intelligence 606 $aComputers 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aComputing Milieux 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aComputing Milieux. 676 $a005.30287 676 $a005.1 702 $aGaston$b Christophe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKosmatov$b Nikolai$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLe Gall$b Pascale$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349275703321 996 $aTesting Software and Systems$93568350 997 $aUNINA