Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event, June 21-22, 2021, Proceedings / Frédéric Loulergue, Franz Wotawa (eds.).
2021
QA76.76.T48 .T37 2021eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event, June 21-22, 2021, Proceedings / Frédéric Loulergue, Franz Wotawa (eds.).
Meeting Name
TAP (Conference) (15th : 2021 : Online)
ISBN
9783030793791 (electronic bk.)
3030793796 (electronic bk.)
9783030793784 (print)
3030793796 (electronic bk.)
9783030793784 (print)
Published
Cham : Springer, 2021.
Language
English
Description
1 online resource (xiii, 107 pages) : illustrations
Item Number
10.1007/978-3-030-79379-1 doi
Call Number
QA76.76.T48 .T37 2021eb
Dewey Decimal Classification
005.1
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 25, 2021).
Added Author
Loulergue, Frédéric, editor.
Wotawa, Franz, editor
Wotawa, Franz, editor
Added Meeting Name
STAF (Federation of conferences) (2020 : Online)
Series
Lecture notes in computer science ; 12740.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.