Pith. sign in

REVIEW 1 cited by

An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2507.18267 v1 pith:S4WSUBEI submitted 2025-07-24 cs.SE

classification cs.SE
keywords eairbugscausessystemsymptomsunderlyingmodulesartificial
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Embodied Artificial Intelligence Robots (EAIR) is an emerging and rapidly evolving technological domain. Ensuring their program correctness is fundamental to their successful deployment. However, a general and in-depth understanding of EAIR system bugs remains lacking, which hinders the development of practices and techniques to tackle EAIR system bugs. To bridge this gap, we conducted the first systematic study of 885 EAIR system bugs collected from 80 EAIR system projects to investigate their symptoms, underlying causes, and module distribution. Our analysis takes considerable effort, which classifies these bugs into 18 underlying causes, 15 distinct symptoms, and identifies 13 affected modules. It reveals several new interesting findings and implications which help shed light on future research on tackling or repairing EAIR system bugs. First, among the 15 identified symptoms, our findings highlight 8 symptoms specific to EAIR systems, which is characterized by severe functional failures and potential physical hazards. Second, within the 18 underlying causes, we define 8 EAIR-specific causes, the majority of which stem from the intricate issues of AI- agent reasoning and decision making. Finally, to facilitate precise and efficient bug prediction, detection, and repair, we constructed a mapping between underlying causes and the modules in which they most frequently occur, which enables researchers to focus diagnostic efforts on the modules most susceptible to specific bug types.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. IcFuzz: Fuzzing Isaac Sim with Semantic Stage Guidance and Multi-level Mutation

    cs.RO 2026-08 accept novelty 6.0 of 10

    IcFuzz, an LLM-guided fuzzer for Isaac Sim, reaches about double the code coverage of prior baselines and has found 11 bugs, 9 confirmed or fixed.

Pith tools