E-Book, Englisch, Band 12740, 107 Seiten, eBook
Loulergue / Wotawa Tests and Proofs
1. Auflage 2021
ISBN: 978-3-030-79379-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings
E-Book, Englisch, Band 12740, 107 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-79379-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.