Tests and Proofs / Loulergue, Frédéric ; Wotawa, Franz  

Público ISBD Ningún comentario para este registro. Título : Tests and Proofs : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Loulergue, Frédéric, ; Wotawa, Franz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 107 p. 10 ilustraciones ISBN/ISSN/DL: 978-3-030-79379-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software Clasificación: 005.1 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Pruebas y Pruebas, TAP 2021, que se celebró como parte de Tecnologías de software: aplicaciones y fundamentos, STAF 2021, y se llevó a cabo en línea del 12 al 25 de junio de 2021. Los 6 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Se organizaron en secciones temáticas sobre aprendizaje, asignación de recursos de prueba y puntos de referencia y sobre pruebas. Nota de contenido: 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. Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Tests and Proofs : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / [documento electrónico] / Loulergue, Frédéric, ; Wotawa, Franz,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XIII, 107 p. 10 ilustraciones. ISBN : 978-3-030-79379-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software Clasificación: 005.1 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Pruebas y Pruebas, TAP 2021, que se celebró como parte de Tecnologías de software: aplicaciones y fundamentos, STAF 2021, y se llevó a cabo en línea del 12 al 25 de junio de 2021. Los 6 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Se organizaron en secciones temáticas sobre aprendizaje, asignación de recursos de prueba y puntos de referencia y sobre pruebas. Nota de contenido: 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. Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200