000937709 000__ 03552cam\a2200553Ii\4500 000937709 001__ 937709 000937709 005__ 20230306151849.0 000937709 006__ m\\\\\o\\d\\\\\\\\ 000937709 007__ cr\nn\nnnunnun 000937709 008__ 200630s2020\\\\sz\\\\\\o\\\\\101\0\eng\d 000937709 019__ $$a1164666525 000937709 020__ $$a9783030509958$$q(electronic book) 000937709 020__ $$a3030509958$$q(electronic book) 000937709 020__ $$z9783030509941 000937709 0248_ $$a10.1007/978-3-030-50 000937709 035__ $$aSP(OCoLC)on1162532458 000937709 035__ $$aSP(OCoLC)1162532458$$z(OCoLC)1164666525 000937709 040__ $$aLQU$$beng$$cLQU$$dLEATE$$dGW5XE 000937709 049__ $$aISEA 000937709 050_4 $$aQA76.76.T48$$b.T37 2020eb 000937709 08204 $$a005.1 000937709 1112_ $$aTAP (Conference)$$n(14th :$$d2020 :$$cBergen, Norway) 000937709 24510 $$aTests and proofs :$$b14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings /$$cWolfgang Ahrendt, Heike Wehrheim (eds.). 000937709 2463_ $$aTAP 2020 000937709 264_1 $$aCham :$$bSpringer,$$c2020. 000937709 300__ $$a1 online resource (xiii, 181 pages) :$$billustrations 000937709 336__ $$atext$$btxt$$2rdacontent 000937709 337__ $$acomputer$$bc$$2rdamedia 000937709 338__ $$aonline resource$$bcr$$2rdacarrier 000937709 4901_ $$aLecture notes in computer science ;$$v12165 000937709 4901_ $$aLNCS Sublibrary: SL 2, Programming and Software Engineering 000937709 500__ $$aInternational conference proceedings. 000937709 500__ $$a"Due to the outbreak of the corona virus pandemic, STAF and TAP had to be postponed and will be held 2021." 000937709 500__ $$aIncludes author index. 000937709 5050_ $$aBenchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. 000937709 506__ $$aAccess limited to authorized users. 000937709 520__ $$aThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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. 000937709 650_0 $$aComputer software$$xTesting$$vCongresses. 000937709 650_0 $$aComputer software$$xVerification$$vCongresses. 000937709 650_0 $$aSoftware engineering$$vCongresses. 000937709 7001_ $$aAhrendt, Wolfgang. 000937709 7001_ $$aWehrheim, Heike. 000937709 7112_ $$aSTAF (Federation of conferences)$$d(2020 :$$cBergen, Norway),$$jjointly held conference. 000937709 830_0 $$aLecture notes in computer science ;$$v12165. 000937709 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering. 000937709 852__ $$bebk 000937709 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-50995-8$$zOnline Access$$91397441.1 000937709 909CO $$ooai:library.usi.edu:937709$$pGLOBAL_SET 000937709 980__ $$aEBOOK 000937709 980__ $$aBIB 000937709 982__ $$aEbook 000937709 983__ $$aOnline 000937709 994__ $$a92$$bISE