11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / Gabmeyer, Sebastian ; Johnsen, Einar Broch  

Público ISBD Ningún comentario para este título. Título : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings Tipo de documento: documento electrónico Autores: Gabmeyer, Sebastian, ; Johnsen, Einar Broch, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XI, 163 p. 38 ilustraciones ISBN/ISSN/DL: 978-3-319-61467-0 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  Ingeniería Informática  Red de computadoras  Ciencias de la Computación  Inteligencia artificial  Ingenieria asistida por computadora  Programación de computadoras  Ingeniería Informática y Redes  Lógica informática y fundamentos de la programación.  Ingeniería y Diseño Asistidos por Computador (CAD  CAE)  Técnicas de programación Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2017, celebrada como parte de STAF 2017, en Marburg, Alemania, en julio de 2017. Los 9 artículos completos y 1 artículo invitado presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 16 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: Abstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings [documento electrónico] / Gabmeyer, Sebastian, ; Johnsen, Einar Broch,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XI, 163 p. 38 ilustraciones. ISBN : 978-3-319-61467-0 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  Ingeniería Informática  Red de computadoras  Ciencias de la Computación  Inteligencia artificial  Ingenieria asistida por computadora  Programación de computadoras  Ingeniería Informática y Redes  Lógica informática y fundamentos de la programación.  Ingeniería y Diseño Asistidos por Computador (CAD  CAE)  Técnicas de programación Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Pruebas y Demostraciones, TAP 2017, celebrada como parte de STAF 2017, en Marburg, Alemania, en julio de 2017. Los 9 artículos completos y 1 artículo invitado presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 16 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: Abstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. 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