Paolo Arcaini
Identifiers
- name variant Paolo Arcaini 0.60 · backfill
Papers (7)
- Robust Mutation Analysis of Quantum Programs Under Noise cs.SE · 2026 · author #4
- VISOR: A Vision-Language Model-based Test Oracle for Testing Robots cs.SE · 2026 · author #5
- QMutBench: A Dataset of Quantum Circuit Mutants cs.SE · 2026 · author #3
- Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap cs.SE · 2025 · author #3
- Repairing Timed Automata Clock Guards through Abstraction and Testing cs.LO · 2019 · author #2
- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version) cs.SY · 2019 · author #3
- 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
- Shaukat Ali 4 shared papers
- E\~naut Mendiluze Usandizaga 2 shared papers
- Ichiro Hasuo 2 shared papers
- Zhenya Zhang 2 shared papers
- Aitor Arrieta 1 shared papers
- Andrea Arcuri 1 shared papers
- Angelo Gargantini 1 shared papers
- \'Etienne Andr\'e 1 shared papers
- Gidon Ernst 1 shared papers
- Hassan Sartaj 1 shared papers
- Marco Radavelli 1 shared papers
- Mohammad Reza Mousavi 1 shared papers
- Pablo Valle 1 shared papers
- Prasun Saurabh 1 shared papers
- Sean Sedwards 1 shared papers
- Sophie Fortz 1 shared papers
- Thomas Laurent 1 shared papers