LEADER 04017nam  22007815  450 
001 9910483056203321
005 20251225205431.0
010   $a3-319-61467-3
024 7 $a10.1007/978-3-319-61467-0
035   $a(CKB)4340000000061603
035   $a(DE-He213)978-3-319-61467-0
035   $a(MiAaPQ)EBC6285488
035   $a(MiAaPQ)EBC5578675
035   $a(Au-PeEL)EBL5578675
035   $a(OCoLC)999467896
035   $a(PPN)20366857X
035   $a(EXLCZ)994340000000061603
100   $a20170617d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTests and Proofs $e11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19?20, 2017, Proceedings /$fedited by Sebastian Gabmeyer, Einar Broch Johnsen
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XI, 163 p. 38 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10375
311 08$a3-319-61466-5 
327   $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. .
330   $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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10375
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aArtificial intelligence
606   $aComputer-aided engineering
606   $aComputer programming
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aComputer-Aided Engineering (CAD, CAE) and Design
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aComputer-aided engineering.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aComputer-Aided Engineering (CAD, CAE) and Design.
615 24$aProgramming Techniques.
676   $a005
702   $aGabmeyer$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483056203321
996   $aTests and Proofs$92841686
997   $aUNINA