東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Tests and proofs = 14th Internationa...

TAP (Conference) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Tests and proofs/ edited by Wolfgang Ahrendt, Heike Wehrheim.
Reminder of title:	14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
remainder title:	TAP 2020
other author:	Ahrendt, Wolfgang.
corporate name:	TAP (Conference)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xiii, 181 p. :ill., digital ;24 cm.
[NT 15003449]:	Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
Contained By:	Springer eBooks
Subject:	Computer software - Congresses. - Testing -
Online resource:	https://doi.org/10.1007/978-3-030-50995-8
ISBN:	9783030509958

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /[electronic resource] :TAP 2020edited by Wolfgang Ahrendt, Heike Wehrheim. - Cham :Springer International Publishing :2020. - xiii, 181 p. :ill., digital ;24 cm. - Lecture notes in computer science,121650302-9743 ;. - Lecture notes in computer science ;12165..

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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: 9783030509958

Standard No.: 10.1007/978-3-030-50995-8doiSubjects--Topical Terms:

849414
Computer software
--Testing--Congresses.

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

Dewey Class. No.: 005.1

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
LDR:02567nmm a2200373 a 4500 001 2221090
003 DE-He213
005 20200620080419.0
006 m d
007 cr nn 008maaau
008 201216s2020 sz s 0 eng d
020 $a 9783030509958 $q (electronic bk.)
020 $a 9783030509941 $q (paper)
024 7 $a 10.1007/978-3-030-50995-8 $2 doi
035 $a 978-3-030-50995-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.T48 $b .T37 2020
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.76.T48 $b T172 2020
111 2 $a TAP (Conference) $n (14th : $d 2020 : $c Bergen, Norway) $3 3459081
245 1 0 $a Tests and proofs $h [electronic resource] : $b 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / $c edited by Wolfgang Ahrendt, Heike Wehrheim.
246 3 $a TAP 2020
246 3 $a STAF 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xiii, 181 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12165
490 1 $a Programming and software engineering
505 0 $a Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
520 $a This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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 849414
650 0 $a Computer software $x Verification $v Congresses. $3 844546
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Ahrendt, Wolfgang. $3 3205925
700 1 $a Wehrheim, Heike. $3 812635
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a STAF (Federation of conferences) $d (2020 : $c Bergen, Norway) $3 3459083
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 12165. $3 3459082
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-50995-8
950 $a Computer Science (Springer-11645)