Filtros de búsqueda

Lista de obras de

A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis

artículo científico publicado en 2023

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety

artículo científico publicado en 2023

An exploratory study of autopilot software bugs in unmanned aerial vehicles

scientific article published on 19 August 2021

Automated Data Visualization from Natural Language via Large Language Models: An Exploratory Study

scientific article published on 30 May 2024

Compatibility Issues in Deep Learning Systems: Problems and Opportunities

artículo científico publicado en 2023

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit

artículo científico publicado en 2024

Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search

artículo científico publicado en 2024

Flow2Vec: value-flow-based precise code embedding

artículo científico publicado en 2020

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation

artículo científico publicado en 2024

Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability

artículo científico publicado en 2024

MalWhiteout: Reducing Label Errors in Android Malware Detection

artículo científico publicado en 2023

Path-sensitive and alias-aware typestate analysis for detecting OS bugs

artículo científico publicado en 2022

Precise Sparse Abstract Execution via Cross-Domain Interaction

artículo científico publicado en 2024

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability

artículo científico publicado en 2023

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis

artículo científico publicado en 2024

TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers

artículo científico publicado en 2024

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda