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.).
TAP (Conference) (15th : 2021 : Online); Loulergue, Frédéric, editor.; Wotawa, Franz, editor; STAF (Federation of conferences) (2020 : Online)
2021
QA76.76.T48 .T37 2021eb
Available Online

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)
DOI https://doi.org/10.1007/978-3-030-79379-1
Published Cham : Springer, 2021.
Language English
Description 1 online resource (xiii, 107 pages) : illustrations
Other Standard Identifiers 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
Added Meeting Name STAF (Federation of conferences) (2020 : Online)
Series Lecture notes in computer science ; 12740.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export