國立虎尾科技大學 |

Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Tests and Proofs/ edited by Frédéric Loulergue, Franz Wotawa.
Reminder of title:	15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
other author:	Loulergue, Frédéric.
Description:	XIII, 107 p. 10 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-79379-1
ISBN:	9783030793791

Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
Tests and Proofs15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /[electronic resource] :edited by Frédéric Loulergue, Franz Wotawa. - 1st ed. 2021. - XIII, 107 p. 10 illus.online resource. - Programming and Software Engineering,127402945-9168 ;. - Programming and Software Engineering,12857.

Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- Architecture-Guided Test Resource Allocation Via Logic -- A Benchmarks Library for Extended Timed Automata -- Testing -- Generating Timed UI Tests from Counterexamples -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs.

This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.

ISBN: 9783030793791

Standard No.: 10.1007/978-3-030-79379-1doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
LDR:02404nam a22004095i 4500 001 1059347
003 DE-He213
005 20220311181416.0
007 cr nn 008mamaa
008 220414s2021 sz | s |||| 0|eng d
020 $a 9783030793791 $9 978-3-030-79379-1
024 7 $a 10.1007/978-3-030-79379-1 $2 doi
035 $a 978-3-030-79379-1
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 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / $c edited by Frédéric Loulergue, Franz Wotawa.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XIII, 107 p. 10 illus. $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, $x 2945-9168 ; $v 12740
505 0 $a Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- Architecture-Guided Test Resource Allocation Via Logic -- A Benchmarks Library for Extended Timed Automata -- Testing -- Generating Timed UI Tests from Counterexamples -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs.
520 $a This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.
650 0 $a Software engineering. $3 562952
650 1 4 $a Software Engineering. $3 669632
700 1 $a Loulergue, Frédéric. $e editor. $1 https://orcid.org/0000-0001-9301-7829 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1360863
700 1 $a Wotawa, Franz. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113523
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030793784
776 0 8 $i Printed edition: $z 9783030793807
830 0 $a Programming and Software Engineering, $x 2945-9168 ; $v 12857 $3 1365731
856 4 0 $u https://doi.org/10.1007/978-3-030-79379-1
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)