TY  - BOOK
AU  - Fraser,Gordon
AU  - Gargantini,Angelo
ED  - TAP 2010
TI  - Tests and proofs: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642139772
AV  - QA76.76.T48 T37 2010
U1  - 005.1/4 22
PY  - 2010///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Testing
KW  - Congresses
KW  - Verification
KW  - Formal methods (Computer science)
KW  - Software Validation
KW  - Software
KW  - Logiciels
KW  - Vérification
KW  - Congrès
KW  - Méthodes formelles (Informatique)
KW  - Validation
KW  - software
KW  - aat
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Softwareentwicklung
KW  - gnd
KW  - Softwaretest
KW  - Beweis
KW  - Softwaresystem
KW  - Model Checking
KW  - Formale Methode
KW  - Málaga <2010>
KW  - swd
KW  - Congress
KW  - proceedings (reports)
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and author index; Invited 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
N2  - Annotation; This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010
UR  - https://link.springer.com/10.1007/978-3-642-13977-2
ER  -