Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
Gordon Fraser, Angelo Gargantini (eds.).
- Berlin : Springer, ©2010.
- 1 online resource (x, 182 pages) : illustrations
- Lecture notes in computer science, 6143 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; 6143. LNCS sublibrary. SL 2, Programming and software engineering. .
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.
Annotation This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.
9783642139772 3642139779
10.1007/978-3-642-13977-2 doi
978-3-642-13976-5 Springer http://www.springerlink.com
10,N21 dnb
1002680549 DE-101
Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Software Validation
Software
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Validation.
Logiciels.
software.
Informatique.
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
Softwareentwicklung
Softwaretest
Beweis
Softwaresystem
Model Checking
Formale Methode
Málaga <2010>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.T48 / T37 2010
005.1/4
QA 76.76.T48
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.
Annotation This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.
9783642139772 3642139779
10.1007/978-3-642-13977-2 doi
978-3-642-13976-5 Springer http://www.springerlink.com
10,N21 dnb
1002680549 DE-101
Computer software--Testing--Congresses.
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Software Validation
Software
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Validation.
Logiciels.
software.
Informatique.
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
Softwareentwicklung
Softwaretest
Beweis
Softwaresystem
Model Checking
Formale Methode
Málaga <2010>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.T48 / T37 2010
005.1/4
QA 76.76.T48