Copertina

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sorokin, Lev, Bouchekir, Radouane, Beyene, Tewodros A., Liao, Brian Hsuan-Cheng, Molin, Adam
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
di: Bouchekir, Radouane, et al.
Pubblicazione: (2025)

Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering
di: Cheng, Chih-Hong, et al.
Pubblicazione: (2026)

Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
di: Sorokin, Lev, et al.
Pubblicazione: (2024)

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
di: Ikhwantri, Fariz, et al.
Pubblicazione: (2026)

Automated Factual Benchmarking for In-Car Conversational Systems using Large Language Models
di: Giebisch, Rafael, et al.
Pubblicazione: (2025)

Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines
di: Sorokin, Lev, et al.
Pubblicazione: (2024)

FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research
di: Lin, Tzu-Hsuan, et al.
Pubblicazione: (2026)

Towards MLOps: A DevOps Tools Recommender System for Machine Learning System
di: Shah, Pir Sami Ullah, et al.
Pubblicazione: (2024)

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
di: Sinha, Shiven, et al.
Pubblicazione: (2025)

Good Tools are Half the Work: Tool Usage in Deep Learning Projects
di: Panourgia, Evangelia, et al.
Pubblicazione: (2023)

It's LIT! Reliability-Optimized LLMs with Inspectable Tools
di: Zhang, Ruixin, et al.
Pubblicazione: (2025)

DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
di: de Conto, Eduardo, et al.
Pubblicazione: (2025)

RubricRefine: Improving Tool-Use Agent Reliability with Training-Free Pre-Execution Refinement
di: LeVine, Will, et al.
Pubblicazione: (2026)

Targeted Test Selection Approach in Continuous Integration
di: Plyusnin, Pavel, et al.
Pubblicazione: (2025)

SkillScope: A Tool to Predict Fine-Grained Skills Needed to Solve Issues on GitHub
di: Carter, Benjamin C., et al.
Pubblicazione: (2025)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
di: Sorokin, Lev, et al.
Pubblicazione: (2026)

Continuous Management of Machine Learning-Based Application Behavior
di: Anisetti, Marco, et al.
Pubblicazione: (2023)

Towards Verified Code Reasoning by LLMs
di: Sistla, Meghana, et al.
Pubblicazione: (2025)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
di: Yu, Gerhard, et al.
Pubblicazione: (2025)

ASTD Patterns for Integrated Continuous Anomaly Detection In Data Logs
di: Jabri, Chaymae El, et al.
Pubblicazione: (2024)

Continuous Integration Practices in Machine Learning Projects: The Practitioners` Perspective
di: Bernardo, João Helis, et al.
Pubblicazione: (2025)

Towards Trustworthy AI Software Development Assistance
di: Maninger, Daniel, et al.
Pubblicazione: (2023)

Towards Build Optimization Using Digital Twins
di: Aïdasso, Henri, et al.
Pubblicazione: (2025)

Model Based System Assurance Using the Structured Assurance Case Metamodel
di: Wei, Ran, et al.
Pubblicazione: (2019)

Systematic Literature Review on Application of Learning-based Approaches in Continuous Integration
di: Arani, Ali Kazemi, et al.
Pubblicazione: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
di: Abeywickrama, Dhaminda B., et al.
Pubblicazione: (2025)

FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks
di: Kim, Brian Hyeongseok, et al.
Pubblicazione: (2024)

Towards a Small Language Model Lifecycle Framework
di: Miraghaei, Parsa, et al.
Pubblicazione: (2025)

ToolMATH: A Diagnostic Benchmark for Long-Horizon Tool Use under Systematic Tool-Catalog Constraints
di: Choi, Hyeonje, et al.
Pubblicazione: (2026)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
di: Sorokin, Lev, et al.
Pubblicazione: (2025)

HyperNet-Adaptation for Diffusion-Based Test Case Generation
di: Weißl, Oliver, et al.
Pubblicazione: (2026)

Automating REST API Postman Test Cases Using LLM
di: Sri, S Deepika, et al.
Pubblicazione: (2024)

Geospatial Machine Learning Libraries
di: Stewart, Adam J., et al.
Pubblicazione: (2025)

FedLAD: A Modular and Adaptive Testbed for Federated Log Anomaly Detection
di: Liao, Yihan, et al.
Pubblicazione: (2025)

On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code
di: Weyssow, Martin, et al.
Pubblicazione: (2023)

Towards Enhancing the Reproducibility of Deep Learning Bugs: An Empirical Study
di: Shah, Mehil B., et al.
Pubblicazione: (2024)

CONCORD: Towards a DSL for Configurable Graph Code Representation
di: Saad, Mootez, et al.
Pubblicazione: (2024)

SynthTools: A Framework for Scaling Synthetic Tools for Agent Development
di: Castellani, Tommaso, et al.
Pubblicazione: (2025)

LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
di: Liu, Kaibo, et al.
Pubblicazione: (2024)

DocuMint: Docstring Generation for Python using Small Language Models
di: Poudel, Bibek, et al.
Pubblicazione: (2024)