:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Litton, Matthew, Drusinsky, Doron, Michael, James Bret
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2402.07791
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Assured LLM-Based Software Engineering
by: Alshahwan, Nadia, et al.
Published: (2024)

Assuring Safety of Vision-Based Swarm Formation Control
by: Hsieh, Chiao, et al.
Published: (2022)

Quality-Assured Fuzz Harness Generation via the Four Principles Framework
by: Sheng, Ze, et al.
Published: (2026)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
by: Imrie, Calum Corrie, et al.
Published: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
by: Harman, Mark, et al.
Published: (2025)

First-principles Based 3D Virtual Simulation Testing for Discovering SOTIF Corner Cases of Autonomous Driving
by: Li, Lehang, et al.
Published: (2024)

Why Software Signing (Still) Matters: Trust Boundaries in the Software Supply Chain
by: Kalu, Kelechi G., et al.
Published: (2025)

Moral Testing of Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

An Eye for Trust: An Exploration of Developers' Trust Perceptions Through Urgency and Reputation
by: Yabesi, Sara, et al.
Published: (2026)

Agile System Development Lifecycle for AI Systems: Decision Architecture
by: Gill, Asif Q.
Published: (2025)

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
by: De Sanctis, Martina, et al.
Published: (2026)

VAPU: System for Autonomous Legacy Code Modernization
by: Ala-Salmi, Valtteri, et al.
Published: (2025)

ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
by: Pham, Tri Minh-Triet, et al.
Published: (2025)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
by: Naziri, M M Abid, et al.
Published: (2025)

Causality-aware Safety Testing for Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap
by: Wu, Xiongfei, et al.
Published: (2025)

Modeling Language for Scenario Development of Autonomous Driving Systems
by: Aoki, Toshiaki, et al.
Published: (2025)

RepoMod-Bench: A Benchmark for Code Repository Modernization via Implementation-Agnostic Testing
by: Li, Xuefeng, et al.
Published: (2026)

GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
by: Liang, Linfeng, et al.
Published: (2023)

Leveraging Language Models to Discover Evidence-Based Actions for OSS Sustainability
by: Khan, Nafiz Imtiaz, et al.
Published: (2026)

A Systematic Mapping Study on the Debugging of Autonomous Driving Systems
by: Shaw, Nathan, et al.
Published: (2026)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)

On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
by: Goseva-Popstojanova, Katerina, et al.
Published: (2025)

MoDitector: Module-Directed Testing for Autonomous Driving Systems
by: Wang, Renzhi, et al.
Published: (2025)

Blockchain-Based Trust and Transparency in Airline Reservation Systems using Microservices Architecture
by: Barua, Biman, et al.
Published: (2024)

Trust Over Fear: How Motivation Framing in System Prompts Affects AI Agent Debugging Depth
by: Ji, Wu
Published: (2026)

STADA: Specification-based Testing for Autonomous Driving Agents
by: Saha, Joy, et al.
Published: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

Decision Models for Selecting Architecture Patterns and Strategies in Quantum Software Systems
by: Aktar, Mst Shamima, et al.
Published: (2025)

Testing Autonomous Driving Systems -- What Really Matters and What Doesn't
by: Li, Changwen, et al.
Published: (2025)

TrustOps: Continuously Building Trustworthy Software
by: Brito, Eduardo, et al.
Published: (2024)

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

AI-Augmented CI/CD Pipelines: From Code Commit to Production with Autonomous Decisions
by: Baqar, Mohammad, et al.
Published: (2025)

Agentic AI Software Engineers: Programming with Trust
by: Roychoudhury, Abhik, et al.
Published: (2025)

Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks
by: Zhao, Jiangnan, et al.
Published: (2024)

Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
by: Pham, Tri Minh Triet, et al.
Published: (2024)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
by: Júnior, Everaldo Silva, et al.
Published: (2026)

Autonomous Legacy Web Application Upgrades Using a Multi-Agent System
by: Ala-Salmi, Valtteri, et al.
Published: (2025)