國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Tests and proofs/ edited by Bernhard K. Aichernig, Carlo A. Furia.
Reminder of title:	10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
remainder title:	TAP 2016
other author:	Aichernig, Bernhard K.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2016.,
Description:	xiv, 199 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer software - Congresses. - Testing -
Online resource:	http://dx.doi.org/10.1007/978-3-319-41135-4
ISBN:	9783319411354

Tests and proofs = 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 ;6140..

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:

674778
Computer software
--Testing--Congresses.

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

Dewey Class. No.: 005.14

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
LDR:02598nam a2200349 a 4500 001 864909
003 DE-He213
005 20161118162350.0
006 m d
007 cr nn 008maaau
008 170720s2016 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 Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2016. $b Springer International Publishing : $b Imprint: Springer,
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 674778 $3 727845
650 0 $a Computer software $x Verification $v Congresses. $3 675265 $3 727805
650 0 $a Software engineering $v Congresses. $3 528500
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Simulation and Modeling. $3 669249
700 1 $a Aichernig, Bernhard K. $3 1110079
700 1 $a Furia, Carlo A. $3 885428
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-41135-4
950 $a Computer Science (Springer-11645)