語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Tests and Proofs = 14th Internationa...
~
SpringerLink (Online service)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Tests and Proofs/ edited by Wolfgang Ahrendt, Heike Wehrheim.
其他題名:
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
其他作者:
Wehrheim, Heike.
面頁冊數:
XIII, 181 p. 171 illus., 30 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Artificial Intelligence. -
電子資源:
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 Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /[electronic resource] :edited by Wolfgang Ahrendt, Heike Wehrheim. - 1st ed. 2020. - XIII, 181 p. 171 illus., 30 illus. in color.online resource. - Programming and Software Engineering ;12165. - Programming and Software Engineering ;8987.
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:
646849
Artificial Intelligence.
LC Class. No.: QA76.758
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
:02808nam a22004095i 4500
001
1020355
003
DE-He213
005
20200703101520.0
007
cr nn 008mamaa
008
210318s2020 gw | s |||| 0|eng d
020
$a
9783030509958
$9
978-3-030-50995-8
024
7
$a
10.1007/978-3-030-50995-8
$2
doi
035
$a
978-3-030-50995-8
050
4
$a
QA76.758
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
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.
250
$a
1st ed. 2020.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2020.
300
$a
XIII, 181 p. 171 illus., 30 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Programming and Software Engineering ;
$v
12165
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
2 4
$a
Artificial Intelligence.
$3
646849
650
2 4
$a
Computer System Implementation.
$3
669803
650
2 4
$a
Special Purpose and Application-Based Systems.
$3
669833
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
669782
650
1 4
$a
Software Engineering.
$3
669632
650
0
$a
Artificial intelligence.
$3
559380
650
0
$a
Architecture, Computer.
$3
1255731
650
0
$a
Special purpose computers.
$3
1204562
650
0
$a
Programming languages (Electronic computers).
$3
1127615
650
0
$a
Software engineering.
$3
562952
700
1
$a
Wehrheim, Heike.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
897139
700
1
$a
Ahrendt, Wolfgang.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1116282
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030509941
776
0 8
$i
Printed edition:
$z
9783030509965
830
0
$a
Programming and Software Engineering ;
$v
8987
$3
1253476
856
4 0
$u
https://doi.org/10.1007/978-3-030-50995-8
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入