大葉大學圖書館 |

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	005.14
書名/作者:	Tests and proofs : 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings // edited by Bernhard K. Aichernig, Carlo A. Furia.
其他題名:	TAP 2016
其他作者:	Aichernig, Bernhard K.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	xiv, 199 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Computer software - Congresses. - Testing
標題:	Computer software - Congresses. - Verification
標題:	Software engineering
標題:	Computer Science.
標題:	Software Engineering.
標題:	Programming Techniques.
標題:	Logics and Meanings of Programs.
標題:	Mathematical Logic and Formal Languages.
標題:	Programming Languages, Compilers, Interpreters.
標題:	Simulation and Modeling.
ISBN:	9783319411354
ISBN:	9783319411347
內容註:	Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification.
摘要、提要註:	This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
電子資源:	http://dx.doi.org/10.1007/978-3-319-41135-4

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /[electronic resource] :TAP 2016edited by Bernhard K. Aichernig, Carlo A. Furia. - Cham :Springer International Publishing :2016. - xiv, 199 p. :ill., digital ;24 cm. - Lecture notes in computer science,97620302-9743 ;. - Lecture notes in computer science ;7103..

Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification.

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

ISBN: 9783319411354

Standard No.: 10.1007/978-3-319-41135-4doiSubjects--Topical Terms:

470592
Computer software
--Testing--Congresses.

LC Class. No.: QA76.76.T48 / T37 2016

Dewey Class. No.: 005.14

Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
LDR:02598nmm a2200349 a 4500 001 458569
003 DE-He213
005 20161118162350.0
006 m d
007 cr nn 008maaau
008 170113s2016 gw s 0 eng d
020 $a 9783319411354 $q (electronic bk.)
020 $a 9783319411347 $q (paper)
024 7 $a 10.1007/978-3-319-41135-4 $2 doi
035 $a 978-3-319-41135-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.T48 $b T37 2016
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.14 $2 23
090 $a QA76.76.T48 $b T172 2016
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Tests and proofs $h [electronic resource] : $b 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / $c edited by Bernhard K. Aichernig, Carlo A. Furia.
246 3 $a TAP 2016
246 3 $a STAF 2016
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xiv, 199 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9762
505 0 $a Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification.
520 $a This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
650 0 $a Computer software $x Testing $v Congresses. $3 470592
650 0 $a Computer software $x Verification $v Congresses. $3 466241
650 0 $a Software engineering $3 135422
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Programming Techniques. $3 466907
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Simulation and Modeling. $3 463796
700 1 $a Aichernig, Bernhard K. $3 659837
700 1 $a Furia, Carlo A. $3 470632
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-41135-4
950 $a Computer Science (Springer-11645)