| Título : |
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Guerra, Esther, ; Stoelinga, Mariëlle, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XIV, 373 p. 95 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-71500-7 |
| 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 Estructuras de datos (Informática) Teoría de la información Procesamiento del lenguaje natural (Informática) Programación de computadoras Ciencias de la Computación Estructuras de datos y teoría de la información Procesamiento del lenguaje natural (PNL) Técnicas de programación Teoría de la Computación |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de acceso abierto constituye las actas de la 24.a Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2021, que tuvo lugar del 27 de marzo al 1 de abril de 2021 y se llevó a cabo como parte de las Conferencias Conjuntas sobre Teoría y Práctica del Software. ETAPS 2021. Estaba previsto que la conferencia se celebrara en Luxemburgo, pero cambió a un formato en línea debido a la pandemia de COVID-19. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. El libro también contiene 4 contribuciones de Test-Comp. . |
| Nota de contenido: |
FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution). |
| 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 |
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings [documento electrónico] / Guerra, Esther, ; Stoelinga, Mariëlle, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 373 p. 95 ilustraciones. ISBN : 978-3-030-71500-7 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 Estructuras de datos (Informática) Teoría de la información Procesamiento del lenguaje natural (Informática) Programación de computadoras Ciencias de la Computación Estructuras de datos y teoría de la información Procesamiento del lenguaje natural (PNL) Técnicas de programación Teoría de la Computación |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de acceso abierto constituye las actas de la 24.a Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2021, que tuvo lugar del 27 de marzo al 1 de abril de 2021 y se llevó a cabo como parte de las Conferencias Conjuntas sobre Teoría y Práctica del Software. ETAPS 2021. Estaba previsto que la conferencia se celebrara en Luxemburgo, pero cambió a un formato en línea debido a la pandemia de COVID-19. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. El libro también contiene 4 contribuciones de Test-Comp. . |
| Nota de contenido: |
FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution). |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / André, Étienne ; Stoelinga, Mariëlle
