Go to main content

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
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

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.
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.
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