LEADER 04678nam 22008415 450 001 9910483690903321 005 20251226200408.0 010 $a3-319-21215-X 024 7 $a10.1007/978-3-319-21215-9 035 $a(CKB)3710000000454184 035 $a(SSID)ssj0001558640 035 $a(PQKBManifestationID)16183867 035 $a(PQKBTitleCode)TC0001558640 035 $a(PQKBWorkID)14819583 035 $a(PQKB)10217969 035 $a(DE-He213)978-3-319-21215-9 035 $a(MiAaPQ)EBC6297122 035 $a(MiAaPQ)EBC5577552 035 $a(Au-PeEL)EBL5577552 035 $a(OCoLC)914297223 035 $a(PPN)187688710 035 $a(EXLCZ)993710000000454184 100 $a20150716d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTests and Proofs $e9th International Conference, TAP 2015, Held as Part of STAF 2015, L?Aquila, Italy, July 22-24, 2015. Proceedings /$fedited by Jasmin Christian Blanchette, Nikolai Kosmatov 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XIX, 209 p. 57 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9154 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-21214-1 320 $aIncludes bibliographical references and index. 327 $aAbstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis of telecommunication protocol logs -- Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications and Invariants. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9154 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aComputer simulation 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aComputer Modelling 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aComputer simulation. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aComputer Modelling. 676 $a005.14 702 $aBlanchette$b Jasmin Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKosmatov$b Nikolai$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483690903321 996 $aTests and Proofs$92841686 997 $aUNINA