000796602 000__ 03210cam\a2200529Mi\4500
000796602 001__ 796602
000796602 005__ 20230306143537.0
000796602 006__ m\\\\\o\\d\\\\\\\\
000796602 007__ cr\nn\nnnmamaa
000796602 008__ 170617s2017\\\\gw\\\\\\o\\\\\000\0\eng\d
000796602 019__ $$a992987854$$a996401249
000796602 020__ $$a9783319614670
000796602 020__ $$a3319614673
000796602 020__ $$z9783319614663
000796602 0247_ $$a10.1007/978-3-319-61467-0$$2doi
000796602 035__ $$aSP(OCoLC)ocn999467896
000796602 035__ $$aSP(OCoLC)999467896$$z(OCoLC)992987854$$z(OCoLC)996401249
000796602 040__ $$aUPM$$beng$$cUPM$$dGW5XE$$dYDX$$dAZU$$dOCLCO$$dUAB
000796602 049__ $$aISEA
000796602 050_4 $$aQA76.758
000796602 08204 $$a005.1$$223
000796602 24500 $$aTests and Proofs :$$b11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /$$cedited by Sebastian Gabmeyer, Einar Broch Johnsen.
000796602 264_1 $$aCham :$$bSpringer International Publishing :$$bImprint: Springer,$$c2017.
000796602 300__ $$a1 online resource (xi, 163 pages) :$$billustrations.
000796602 336__ $$atext$$btxt$$2rdacontent
000796602 337__ $$acomputer$$bc$$2rdamedia
000796602 338__ $$aonline resource$$bcr$$2rdacarrier
000796602 347__ $$atext file$$bPDF$$2rda
000796602 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v10375
000796602 5050_ $$aAbstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges. .
000796602 506__ $$aAccess limited to authorized users.
000796602 520__ $$aThis book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
000796602 650_0 $$aComputer science.
000796602 650_0 $$aComputer organization.
000796602 650_0 $$aComputer programming.
000796602 650_0 $$aSoftware engineering.
000796602 650_0 $$aComputer logic.
000796602 650_0 $$aComputers.
000796602 650_0 $$aComputer-aided engineering.
000796602 7001_ $$aGabmeyer, Sebastian.$$eeditor.
000796602 7001_ $$aJohnsen, Einar Broch.$$eeditor.
000796602 77608 $$iPrint version:$$z9783319614663
000796602 830_0 $$aLecture notes in computer science ;$$v10375.$$x0302-9743
000796602 852__ $$bebk
000796602 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-61467-0$$zOnline Access$$91397441.1
000796602 909CO $$ooai:library.usi.edu:796602$$pGLOBAL_SET
000796602 980__ $$aEBOOK
000796602 980__ $$aBIB
000796602 982__ $$aEbook
000796602 983__ $$aOnline
000796602 994__ $$a92$$bISE