◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Carlo A. Furia

56 papers hereh-index 262.6k citations159 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author5
  • first author17
  • middle author15
  • last author17

Across the 54 of 56 papers where every author was matched, so the position is known.

fields
  • cs.SE34
  • cs.LO13
  • cs.PL5
  • cs.FL1
  • cs.GL1
  • cs.HC1

identity via Semantic Scholar / OpenAlex

activity
20082026
most citedAutomated Fixing of Programs with Contracts

149 citations · 1.2k across the 55 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.SE2021★ 4 cited

An Annotation-based Approach for Finding Bugs in Neural Network Programs

Mohammad Rezaalipour, Carlo A. Furia

As neural networks are increasingly included as core components of safety-critical systems, developing effective testing techniques specialized for them becomes crucial. The bulk o…

cs.SE2021★ 30 cited

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality

Carlo A. Furia, Richard Torkar, Robert Feldt

Statistical analysis is the tool of choice to turn data into information, and then information into empirical knowledge. To be valid, the process that goes from data to knowledge s…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.