Tests and Proofs: 15th International Conference, Tap 2021, Held as Part of Staf 2021, Virtual Event, June 21-22, 2021, Proceedings

ISBN-13: 9783030793784 / Angielski / Miękka / 2021 / 107 str.

Frédéric Loulergue; Franz Wotawa

Spis treści

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.