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

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.