Jos\'e Moura

Identifiers

• name variant Jos\'e Moura 0.60 · backfill

Papers (2)

1. DEFT: Differentiable Automatic Test Pattern Generation cs.SE · 2025 · author #4
2. ARG: Virtual Tool to Teaching Argumentation Theory cs.CY · 2015 · author #3

Mentions

• 1507.03682 #3 · backfill · confidence 0.70 Jos\'e Moura
• 2512.23746 #4 · arxiv_oai · confidence 0.70 Jos\'e Moura

Frequent Coauthors

• Nailton Silva 1 shared papers
• Patrick Terrematte 1 shared papers
• Shawn Blanton 1 shared papers
• Wei Li 1 shared papers
• Yang Zou 1 shared papers
• Yixin Liang 1 shared papers