000 06173cam a2201045 a 4500
001 ocn654396148
003 OCoLC
005 20250703155805.0
006 m o d
007 cr cn|||||||||
008 100810s2010 gw a ob 101 0 eng d
040 _aGW5XE
_beng
_epn
_cGW5XE
_dWAU
_dOCLCQ
_dOCLCF
_dBEDGE
_dOCLCO
_dCUS
_dCOO
_dE7B
_dOL$
_dDKDLA
_dOHS
_dYDXCP
_dOCLCO
_dOCL
_dOCLCO
_dEBLCP
_dOCLCQ
_dOCLCO
_dOCLCQ
_dVT2
_dSOI
_dOCLCO
_dOCLCA
_dDGU
_dOCLCO
_dSHS
_dUAB
_dESU
_dOCLCQ
_dIOG
_dOCLCO
_dOCLCA
_dBUF
_dOCLCO
_dCEF
_dU3W
_dAU@
_dOCLCO
_dOCLCA
_dWYU
_dOCLCO
_dOCLCQ
_dOCLCO
_dLEAUB
_dAUD
_dOCLCQ
_dOCL
_dOCLCA
_dOCLCQ
_dOCLCA
_dOCLCQ
_dOCLCA
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCL
_dOCLCA
015 _a10,N21
_2dnb
016 7 _a1002680549
_2DE-101
019 _a647994708
_a769769836
_a964877454
_a1005787436
_a1044314703
_a1056357979
_a1060856935
_a1066563842
_a1066685265
_a1081256888
_a1086542141
_a1087348793
_a1105588896
020 _a9783642139772
020 _a3642139779
020 _z9783642139765
_q(pbk.)
020 _z3642139760
_q(pbk.)
024 7 _a10.1007/978-3-642-13977-2
_2doi
029 1 _aAU@
_b000048774928
029 1 _aAU@
_b000051345624
029 1 _aAU@
_b000060008738
029 1 _aDKDLA
_b820120-katalog:000462907
029 1 _aDKDLA
_b820120-katalog:000686213
029 1 _aNLGGC
_b384355196
029 1 _aNZ1
_b13517707
029 1 _aNZ1
_b13698965
029 1 _aAU@
_b000075311474
035 _a(OCoLC)654396148
_z(OCoLC)647994708
_z(OCoLC)769769836
_z(OCoLC)964877454
_z(OCoLC)1005787436
_z(OCoLC)1044314703
_z(OCoLC)1056357979
_z(OCoLC)1060856935
_z(OCoLC)1066563842
_z(OCoLC)1066685265
_z(OCoLC)1081256888
_z(OCoLC)1086542141
_z(OCoLC)1087348793
_z(OCoLC)1105588896
037 _a978-3-642-13976-5
_bSpringer
_nhttp://www.springerlink.com
050 4 _aQA76.76.T48
_bT37 2010
060 4 _aQA 76.76.T48
072 7 _aQA
_2lcco
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.1/4
_222
049 _aMAIN
111 2 _aTAP 2010
_d(2010 :
_cMálaga, Spain)
_938894
245 1 0 _aTests and proofs :
_b4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
_cGordon Fraser, Angelo Gargantini (eds.).
260 _aBerlin :
_bSpringer,
_c©2010.
300 _a1 online resource (x, 182 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v6143
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and author index.
588 0 _aPrint version record.
520 8 _aAnnotation
_bThis book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.
505 0 _aInvited Talks -- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback -- Myths in Software Engineering: From the Other Side -- Specifications from Testing -- QuickSpec: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases -- Proof Process Evaluation with Mutation Analysis -- Test Generation Using Proof Techniques -- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay -- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces -- Combining Static Analysis and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding -- Theorem Proving and Testing -- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications -- Abstraction -- Syntactic Abstraction of B Models to Generate Tests -- Building a Test-Ready Abstraction of a Behavioral Model Using CLP.
650 0 _aComputer software
_xTesting
_vCongresses.
_918837
650 0 _aComputer software
_xVerification
_vCongresses.
_915105
650 0 _aFormal methods (Computer science)
_vCongresses.
_915679
650 2 _aSoftware Validation
_932251
650 2 _aSoftware
_916724
650 6 _aLogiciels
_xVérification
_vCongrès.
_918708
650 6 _aMéthodes formelles (Informatique)
_vCongrès.
_918838
650 6 _aLogiciels
_xValidation.
_9967232
650 6 _aLogiciels.
_926065
650 7 _asoftware.
_2aat
_916724
650 7 _aInformatique.
_2eclas
_914930
650 7 _aComputer software
_xTesting
_2fast
_94794
650 7 _aComputer software
_xVerification
_2fast
_91930
650 7 _aFormal methods (Computer science)
_2fast
_915635
650 7 _aSoftwareentwicklung
_2gnd
_917355
650 7 _aSoftwaretest
_2gnd
_938895
650 7 _aBeweis
_2gnd
_938589
650 7 _aSoftwaresystem
_2gnd
_938896
650 7 _aModel Checking
_2gnd
_91932
650 7 _aFormale Methode
_2gnd
_918841
651 7 _aMálaga <2010>
_2swd
_938837
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aFraser, Gordon.
_938897
700 1 _aGargantini, Angelo,
_d1969-
_938898
758 _ihas work:
_aTests and proofs (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGhx7ThQPmXfVtPVT4QdHC
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aTAP 2010 (2010 : Málaga, Spain).
_tTests and proofs.
_dBerlin : Springer, ©2010
_z9783642139765
_z3642139760
_w(OCoLC)646006863
830 0 _aLecture notes in computer science ;
_v6143.
830 0 _aLNCS sublibrary.
_nSL 2,
_pProgramming and software engineering.
_920654
856 4 0 _uhttps://link.springer.com/10.1007/978-3-642-13977-2
938 _aProQuest Ebook Central
_bEBLB
_nEBL3065452
938 _aebrary
_bEBRY
_nebr10400060
938 _aYBP Library Services
_bYANK
_n3554846
994 _a92
_bATIST
999 _c640138
_d640138