LEADER 04539nam  22007575  450 
001 996466004103316
005 20200704071643.0
010   $a3-319-41135-7
024 7 $a10.1007/978-3-319-41135-4
035   $a(CKB)3710000000734819
035   $a(DE-He213)978-3-319-41135-4
035   $a(MiAaPQ)EBC6303085
035   $a(MiAaPQ)EBC5594503
035   $a(Au-PeEL)EBL5594503
035   $a(OCoLC)1076250392
035   $a(PPN)194378616
035   $a(EXLCZ)993710000000734819
100   $a20160620d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTests and Proofs$b[electronic resource] $e10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /$fedited by Bernhard K. Aichernig, Carlo A. Furia
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XIV, 199 p. 51 illus.)
225 1 $aProgramming and Software Engineering ;$v9762
311   $a3-319-41134-9 
327   $aUsing Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification. .
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. 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.
410  0$aProgramming and Software Engineering ;$v9762
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   $a005.14
702   $aAichernig$b Bernhard K$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFuria$b Carlo A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466004103316
996   $aTests and Proofs$92841686
997   $aUNISA