Tests and Proofs : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings / edited by Frédéric Loulergue, Franz Wotawa.

Format:

Book

Contributor:

Loulergue, Frédéric, Editor.

Wotawa, Franz, Editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 12740

Programming and Software Engineering, 2945-9168 ; 12740

Language:

English

Subjects (All):

Software engineering.

Software Engineering.

Local Subjects:

Software Engineering.

Physical Description:

1 online resource (XIII, 107 pages) : 10 illustrations

Edition:

1st ed. 2021.

Contained In:

Springer Nature eBook

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2021.

System Details:

text file PDF

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.

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.

Other Format:

Printed edition:

ISBN:

978-3-030-79379-1

9783030793791

Access Restriction:

Restricted for use by site license.