國立虎尾科技大學 |

Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Tests and Proofs/ edited by Dirk Beyer, Chantal Keller.
Reminder of title:	13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
other author:	Beyer, Dirk.
Description:	X, 207 p. 339 illus., 34 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-31157-5
ISBN:	9783030311575

Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
Tests and Proofs13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /[electronic resource] :edited by Dirk Beyer, Chantal Keller. - 1st ed. 2019. - X, 207 p. 339 illus., 34 illus. in color.online resource. - Programming and Software Engineering ;11823. - Programming and Software Engineering ;8987.

When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP -- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers -- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing with Symbolic Transition Systems -- BTestBox - A tool for testing B translators and coverage of B models -- Predicting and Testing Latencies with Deep Learning: an IoT Case Study -- Learning Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving a Non-Blocking Algorithm for Process Renaming with TLA+ -- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties -- Property-Based Test Case Generators for Free.

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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: 9783030311575

Standard No.: 10.1007/978-3-030-31157-5doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
LDR:02931nam a22004095i 4500 001 1003934
003 DE-He213
005 20200629175453.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030311575 $9 978-3-030-31157-5
024 7 $a 10.1007/978-3-030-31157-5 $2 doi
035 $a 978-3-030-31157-5
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 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / $c edited by Dirk Beyer, Chantal Keller.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a X, 207 p. 339 illus., 34 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 11823
505 0 $a When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP -- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers -- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing with Symbolic Transition Systems -- BTestBox - A tool for testing B translators and coverage of B models -- Predicting and Testing Latencies with Deep Learning: an IoT Case Study -- Learning Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving a Non-Blocking Algorithm for Process Renaming with TLA+ -- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties -- Property-Based Test Case Generators for Free.
520 $a This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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 Software engineering. $3 562952
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer logic. $3 786340
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer system failures. $3 782237
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a System Performance and Evaluation. $3 669346
700 1 $a Beyer, Dirk. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076432
700 1 $a Keller, Chantal. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1297304
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030311568
776 0 8 $i Printed edition: $z 9783030311582
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-31157-5
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)