東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Tests and proofs = 10th Internationa...

Aichernig, Bernhard K.

Linked to FindBook

Google Book

Amazon

博客來

Tests and proofs = 10th 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 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.
Published:	Cham :Springer International Publishing : : 2016.,
Description:	xiv, 199 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
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 ;5353..

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:

1244897
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:02598nmm a2200349 a 4500 001 2041238
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
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 1244897
650 0 $a Computer software $x Verification $v Congresses. $3 1244120
650 0 $a Software engineering $v Congresses. $3 1243492
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Simulation and Modeling. $3 890873
700 1 $a Aichernig, Bernhard K. $3 2199773
700 1 $a Furia, Carlo A. $3 1619340
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-41135-4
950 $a Computer Science (Springer-11645)