@article{1437591, note = {Includes author index.}, author = {Loulergue, Frédéric, and Wotawa, Franz,}, url = {http://library.usi.edu/record/1437591}, title = {Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event, June 21-22, 2021, Proceedings /. TAP (Conference)}, abstract = {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.}, doi = {https://doi.org/10.1007/978-3-030-79379-1}, recid = {1437591}, pages = {1 online resource (xiii, 107 pages) :}, }