Título :	14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	Ahrendt, Wolfgang, ; Wehrheim, Heike,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XIII, 181 p. 171 ilustraciones, 30 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-50995-8
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ingeniería de software  Compiladores (programas informáticos)  Computadoras  Propósitos especiales  Sistemas informáticos  Inteligencia artificial  Compiladores e intérpretes  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2020, celebrada como parte del 4.º Congreso Mundial sobre Métodos Formales 2020, Bergen, Noruega, en junio de 2020. Los 7 artículos regulares, 1 artículo breve y 2 Los artículos de demostración presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 209 presentaciones. La conferencia TAP promueve la investigación en verificación y métodos formales que apuntan a la interacción de pruebas y pruebas: el avance de técnicas de cada tipo y su combinación, con el objetivo final de mejorar la confiabilidad del software y del sistema.
Nota de contenido:	Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings [documento electrónico] / Ahrendt, Wolfgang, ; Wehrheim, Heike,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIII, 181 p. 171 ilustraciones, 30 ilustraciones en color.
ISBN : 978-3-030-50995-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ingeniería de software  Compiladores (programas informáticos)  Computadoras  Propósitos especiales  Sistemas informáticos  Inteligencia artificial  Compiladores e intérpretes  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2020, celebrada como parte del 4.º Congreso Mundial sobre Métodos Formales 2020, Bergen, Noruega, en junio de 2020. Los 7 artículos regulares, 1 artículo breve y 2 Los artículos de demostración presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 209 presentaciones. La conferencia TAP promueve la investigación en verificación y métodos formales que apuntan a la interacción de pruebas y pruebas: el avance de técnicas de cada tipo y su combinación, con el objetivo final de mejorar la confiabilidad del software y del sistema.
Nota de contenido:	Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i