logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Carlo A. Furia

Universita della Svizzera Italiana

26H-index
180Paper Count
2.4KCitation Count
Published Papers 25
Publication Date
logo
PrevaRank: Ranking plausible patches by historic feature frequencies
errJournal of Systems and Software
IF4.1
err2026-05-08
err0
errOAAI
errShifat Sahariar Bhuiyan; Abhishek Tiwari; Yu Pei; Carlo A. Furia
errShare
errSave
Mitigating omitted variable bias in empirical software engineering
errEmpirical Software Engineering
IF3.6
err2026-04-21
err0
errOAAI
errCarlo A. Furia; Richard Torkar
errShare
errSave
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errLosavio, Lidia; Paganoni, Marco; Furia, Carlo A.
errShare
errSave
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errPaganoni, Marco; Furia, Carlo A.
errShare
errSave
An empirical study of fault localization in Python programs
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2024-06-13
err0
errOAAI
errRezaalipour, Mohammad; Furia, Carlo A.
errShare
errSave
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2024-01-15
err0
errOAAI
errFelici, Riccardo; Pozzi, Laura; Furia, Carlo A.
errShare
errSave
Lightweight precise automatic extraction of exception preconditions in java methods
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2023-12-26
err0
errOAAI
errMarcilio, Diego; Furia, Carlo A.
errShare
errSave
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-11-24
err4
errOAAI
errFuria, Carlo A.; Torkar, Richard; Feldt, Robert
errShare
errSave
An annotation-based approach for finding bugs in neural network programs
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-07-01
err3
errOAAI
errRezaalipour, Mohammad; Furia, Carlo A.
errShare
errSave
Program Repair With Repeated Learning
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-02-01
err4
PREAI
errChen, Liushan; Pei, Yu; Pan, Minxue; Zhang, Tian; Wang, Qixin; Furia, Carlo A.
errShare
errSave
Automated repair of resource leaks in Android applications?
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-10-01
err3
errOAAI
errBhatt, Bhargav Nagaraja; Furia, Carlo A.
errShare
errSave
A Method to Assess and Argue for Practical Significance in Software Engineering
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-06-01
err14
errOAAI
errTorkar, Richard; Furia, Carlo A.; Feldt, Robert; de Oliveira Neto, Francisco Gomes; Gren, Lucas; Lenberg, Per; Ernst, Neil A.
errShare
errSave
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2022-03-07
err15
errOAAI
errFuria, Carlo A.; Torkar, Richard; Feldt, Robert
errShare
errSave
RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-01-01
err7
errOAAI
errXu, Tongtong; Chen, Liushan; Pei, Yu; Zhang, Tian; Pan, Minxue; Furia, Carlo A.
errShare
errSave
Contract-Based Program Repair Without The Contracts: An Extended Study
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-12-01
err16
errOAAI
errChen, Liushan; Pei, Yu; Furia, Carlo A.
errShare
errSave
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-10-01
err29
PREAI
errMarcilio, Diego; Furia, Carlo A.; Bonifacio, Rodrigo; Pinto, Gustavo
errShare
errSave
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2019-10-01
err40
errOAAI
errNeto, Francisco Gomes de Oliveira; Torkar, Richard; Feldt, Robert; Gren, Lucas; Furia, Carlo A.; Huang, Ziwei
errShare
errSave
Bayesian Data Analysis in Empirical Software Engineering Research
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2019-01-01
err40
errOAAI
errFuria, Carlo A.; Feldt, Robert; Torkar, Richard
errShare
errSave
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2015-10-01
err22
errOAAI
errGaleotti, Juan P.; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, Andreas
errShare
errSave
Automated Fixing of Programs with Contracts
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-05-01
err167
errOAAI
errPei, Yu; Furia, Carlo A.; Nordio, Martin; Wei, Yi; Meyer, Bertrand; Zeller, Andreas
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
B
Bertrand Meyer
H-index: 84 · Papers: 995
A
Andreas Zeller
H-index: 66 · Papers: 415
R
Robert Feldt
H-index: 57 · Papers: 436
G
Gordon Fraser
H-index: 55 · Papers: 398
G
Gustavo Pinto
H-index: 32 · Papers: 212
View more