國立高雄大學圖資館 |

Language: English

Back

Tests and proofs12th International C...

(1998 :)

Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Tests and proofsedited by Catherine Dubois, Burkhart Wolff.
Reminder of title:	12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
remainder title:	TAP 2018
other author:	Dubois, Catherine.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xiv, 185 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer softwareCongresses.Testing
Online resource:	https://doi.org/10.1007/978-3-319-92994-1
ISBN:	9783319929941$q(electronic bk.)

Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /[electronic resource] :TAP 2018edited by Catherine Dubois, Burkhart Wolff. - Cham :Springer International Publishing :2018. - xiv, 185 p. :ill., digital ;24 cm. - Lecture notes in computer science,108890302-9743 ;. - Lecture notes in computer science ;4891..

Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. 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: 9783319929941$q(electronic bk.)

Standard No.: 10.1007/978-3-319-92994-1doiSubjects--Topical Terms:

444627
Computer software
--Testing--Congresses.

LC Class. No.: QA76.76.T48 / T478 2018

Dewey Class. No.: 005.14

Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
LDR:02543nmm a2200373 a 4500 001 568650
003 DE-He213
005 20191023111724.0
006 m d
007 cr nn 008maaau
008 200707s2018 sz s 0 eng d
020 $a 9783319929941$q(electronic bk.)
020 $a 9783319929934$q(paper)
024 7 $a 10.1007/978-3-319-92994-1 $2 doi
035 $a 978-3-319-92994-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.T48 $b T478 2018
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.76.T48 $b T172 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Tests and proofs $h [electronic resource] : $b 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / $c edited by Catherine Dubois, Burkhart Wolff.
246 3 $a TAP 2018
246 3 $a STAF 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xiv, 185 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10889
490 1 $a Programming and software engineering
505 0 $a Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.
520 $a This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. 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|vCongresses. $3 854541
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Systems and Data Security. $3 274481
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 The Computing Profession. $3 275271
700 1 $a Dubois, Catherine. $3 357150
700 1 $a Wolff, Burkhart. $3 515690
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-319-92994-1
950 $a Computer Science (Springer-11645)