pith. sign in

Paolo Arcaini

Identifiers

  • name variant Paolo Arcaini 0.60 · backfill

Papers (7)

  1. Robust Mutation Analysis of Quantum Programs Under Noise cs.SE · 2026 · author #4
  2. VISOR: A Vision-Language Model-based Test Oracle for Testing Robots cs.SE · 2026 · author #5
  3. QMutBench: A Dataset of Quantum Circuit Mutants cs.SE · 2026 · author #3
  4. Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap cs.SE · 2025 · author #3
  5. Repairing Timed Automata Clock Guards through Abstraction and Testing cs.LO · 2019 · author #2
  6. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version) cs.SY · 2019 · author #3
  7. Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search cs.SY · 2018 · author #4

Mentions

  • 2605.10408 #5 · arxiv_oai · confidence 0.70 Paolo Arcaini

Frequent Coauthors