Concepedia

Carlo A. Furia

CA

35

Publications

1.6K

Citations

21

H-Index

2007

Active since

Affiliations

ETH Zurich(Current)

Università della Svizzera italiana

Chalmers University of Technology

University of Gothenburg

Hong Kong Polytechnic University

Carlo A. Furia is an author at ETH Zurich specializing in engineering, software engineering, and software maintenance.

Top concepts

EngineeringSoftware EngineeringSoftware DesignSoftware AnalysisSoftware MaintenanceComputer ScienceProgram AnalysisSoftware TestingFormal MethodsFormal Verification

Publications per year

2007–2023

35

Publications

35

Automated fixing of programs with contracts

Yi Wei, Yu Pei, Carlo A. Furia et al. · 2010 · 227 citations

Software Maintenance, Engineering, Automated Fixing +20

Automated Fixing of Programs with Contracts

Yu Pei, Carlo A. Furia, Martín Nordio et al. · IEEE Transactions on Software Engineering · 2014 · 143 citations · Full text

Contract-based program repair without the contracts

Liushan Chen, Yu Pei, Carlo A. Furia · 2017 · 125 citations

Software Maintenance, Program Checking, Engineering +19

An Empirical Study of API Usability

Marco Piccioni, Carlo A. Furia, Bertrand Meyer · 2013 · 112 citations

Software Maintenance, Engineering, Api Usability +17

Empirical Standards for Software Engineering Research

Paul Ralph, Nauman bin Ali, Sebastian Baltes et al. · arXiv (Cornell University) · 2020 · 98 citations · Full text

Software Maintenance, Software Development Practice, Empirical Software Engineering Research +13

Rows per page

1–5 of 35