LEADER 05014nam  22008415  450 
001 996213834703316
005 20200629182315.0
010   $a3-319-09099-2
024 7 $a10.1007/978-3-319-09099-3
035   $a(CKB)3710000000219404
035   $a(SSID)ssj0001298716
035   $a(PQKBManifestationID)11757751
035   $a(PQKBTitleCode)TC0001298716
035   $a(PQKBWorkID)11259401
035   $a(PQKB)10723734
035   $a(DE-He213)978-3-319-09099-3
035   $a(MiAaPQ)EBC6302698
035   $a(MiAaPQ)EBC5610554
035   $a(Au-PeEL)EBL5610554
035   $a(OCoLC)884433039
035   $a(PPN)179925733
035   $a(EXLCZ)993710000000219404
100   $a20140707d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTests and Proofs$b[electronic resource] $e8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /$fedited by Martina Seidl, Nikolai Tillmann
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 214 p. 76 illus.) 
225 1 $aProgramming and Software Engineering ;$v8570
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-09098-4 
320   $aIncludes bibliographical references and index.
327   $aModel-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver -- An Abstraction Technique for Testing Decomposable Systems by Model Checking -- An All-in-One Toolkit for Automated White-Box Testing -- Behaviour Driven Development for Tests and Verification -- Quality Assurance in MBE Back and Forth -- Visualizing Unbounded Symbolic Execution -- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models -- Generating Classified Parallel Unit Tests -- JTACO: Test Execution for Faster Bounded Verification -- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing -- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses: Tutorial Synopsis -- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
330   $aThis book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
410  0$aProgramming and Software Engineering ;$v8570
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aComputer simulation
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer simulation.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSimulation and Modeling.
676   $a004
702   $aSeidl$b Martina$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTillmann$b Nikolai$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996213834703316
996   $aTests and Proofs$92841686
997   $aUNISA