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

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
• Edizione: 1st ed. 2021.
• Descrizione fisica: 1 online resource (117 pages)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Software Engineering
• Persona (resp. second.): WotawaFranz; LoulergueFrédéric
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Tests and Proofs
• ISBN: 3-030-79379-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910485602103321
• Lo trovi qui: Univ. Federico II
• Serie: Programming and Software Engineering, . 2945-9168 ; ; 12740