The Resource Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.)

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.)

Label
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Title
Tests and proofs
Title remainder
first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Statement of responsibility
Yuri Gurevich, Bertrand Meyer (eds.)
Title variation
TAP 2007
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.T48
LC item number
T37 2007eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • LNCS sublibrary, SL2, Programming and software engineering
  • Lecture notes in computer science,
Series volume
4454
Label
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.)
Publication
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Combining Static and Dynamic Reasoning for Bug Detection -- Testable Requirements and Specifications -- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic -- Testing and Verifying Invariant Based Programs in the SOCOS Environment -- Testing and Proving Distributed Algorithms in Constructive Type Theory -- Automatic Testing from Formal Specifications -- Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation -- Symbolic Execution Techniques for Refinement Testing -- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing -- Generating Unit Tests from Formal Proofs -- Using Model Checking to Generate Fault Detecting Tests -- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
Control code
ocn184923195
Dimensions
unknown
Extent
1 online resource (viii, 216 pages)
Form of item
online
Isbn
9783540737704
Lccn
2007931908
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-540-73770-4
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-73769-8
http://library.link/vocab/recordID
.b23240234
Specific material designation
remote
System control number
  • (OCoLC)184923195
  • sks3540737693

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...