國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Tests and Proofs/ edited by Frédéric Loulergue, Franz Wotawa.
其他題名:	15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
其他作者:	Wotawa, Franz.
面頁冊數:	XIII, 107 p. 10 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software Engineering/Programming and Operating Systems. -
電子資源:	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 ;12740. - Programming and Software Engineering ;8987.

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:

669780
Software Engineering/Programming and Operating Systems.

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:02418nam a22004215i 4500 001 1055638
003 DE-He213
005 20210826133615.0
007 cr nn 008mamaa
008 220103s2021 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
072 7 $a UL $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 ; $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 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 0 $a Software engineering. $3 562952
700 1 $a Wotawa, Franz. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113523
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
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 ; $v 8987 $3 1253476
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)