LEADER 03889nam 2200697 450 001 996465334803316 005 20220426210420.0 010 $a3-540-79124-8 024 7 $a10.1007/978-3-540-79124-9 035 $a(CKB)1000000000491023 035 $a(SSID)ssj0000320344 035 $a(PQKBManifestationID)11242686 035 $a(PQKBTitleCode)TC0000320344 035 $a(PQKBWorkID)10348334 035 $a(PQKB)11713498 035 $a(DE-He213)978-3-540-79124-9 035 $a(MiAaPQ)EBC4975659 035 $a(MiAaPQ)EBC5590612 035 $a(MiAaPQ)EBC6698659 035 $a(Au-PeEL)EBL4975659 035 $a(CaONFJC)MIL185682 035 $a(OCoLC)1024284017 035 $a(Au-PeEL)EBL5590612 035 $a(OCoLC)233974074 035 $a(Au-PeEL)EBL6698659 035 $a(PPN)125218818 035 $a(EXLCZ)991000000000491023 100 $a20220426d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aTests and proofs $esecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /$fBernhard Beckert, Reiner Ha?hnle (editors) 205 $a1st ed. 2008. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer,$d[2008] 210 4$dİ2008 215 $a1 online resource (X, 193 p.) 225 1 $aProgramming and Software Engineering ;$v4966 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-79123-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity in Testing -- What Can Fault Prediction Do for YOU? -- Research Papers -- Equivalence Checking for a Finite Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational Analysis of Free Data Types -- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model -- Pex?White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs -- Tutorials -- Parameterized Unit Testing with Pex -- Integrating Verification and Testing of Object-Oriented Software. 330 $aThis book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008. The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies. 410 0$aProgramming and Software Engineering ;$v4966 606 $aComputer software$xTesting$vCongresses 606 $aComputer software$xReliability$vCongresses 606 $aComputer software$xQuality control$vCongresses 615 0$aComputer software$xTesting 615 0$aComputer software$xReliability 615 0$aComputer software$xQuality control 676 $a005.1/4 702 $aBeckert$b Bernhard 702 $aHa?hnle$b Reiner 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465334803316 996 $aTests and Proofs$92841686 997 $aUNISA