Sergio Feo-Arenis

Identifiers

• name variant Sergio Feo-Arenis 0.60 · backfill

Papers (1)

1. Black-Box Verification for GUI Applications cs.SE · 2012 · author #3

Mentions

• 1210.4686 #3 · backfill · confidence 0.70 Sergio Feo-Arenis

Frequent Coauthors

• Andreas Podelski 1 shared papers
• Evren Ermis 1 shared papers
• Stephan Arlt 1 shared papers