國立高雄大學圖資館 |

Language: English

Back

Tests and proofs10th International C...

(1998 :)

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Tests and proofsedited 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:
Published:	Cham :Springer International Publishing :2016.
Description:	xiv, 199 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer softwareCongresses.Testing
Online resource:	http://dx.doi.org/10.1007/978-3-319-41135-4
ISBN:	9783319411354$q(electronic bk.)

Tests and proofs10th 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 ;4891..

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$q(electronic bk.)

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

444627
Computer software
--Testing--Congresses.

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

Dewey Class. No.: 005.14

Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
LDR:02598nmm a2200349 a 4500 001 490403
003 DE-He213
005 20161118162350.0
006 m d
007 cr nn 008maaau
008 170118s2016 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 444627
650 0 $a Computer software $x Verification $v Congresses. $3 443711
650 0 $a Software engineering $3 253562
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Simulation and Modeling. $3 273719
700 1 $a Aichernig, Bernhard K. $3 749771
700 1 $a Furia, Carlo A. $3 563397
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-41135-4
950 $a Computer Science (Springer-11645)