科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
C
Carlo A. Furia
Universita della Svizzera Italiana
26
H指数
180
论文数
2.4K
被引数
0
相关解读
订阅
收录论文
25
发表时间
发表时间
IF
被引数
PrevaRank: Ranking plausible patches by historic feature frequencies
PrevaRank:基于历史特征频率对可能补丁进行排序
Journal of Systems and Software
IF
4.1
2026-05-08
0
OA
AI
Shifat Sahariar Bhuiyan; Abhishek Tiwari; Yu Pei; Carlo A. Furia
分享
收藏
Mitigating omitted variable bias in empirical software engineering
缓解经验软件工程中的遗漏变量偏差
Empirical Software Engineering
IF
3.6
2026-04-21
0
OA
AI
Carlo A. Furia; Richard Torkar
分享
收藏
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
基于可执行操作语义的中间验证器模型测试
INTEGRATED FORMAL METHODS, IFM 2025
IF
0
2026-01-01
0
PRE
AI
Losavio, Lidia; Paganoni, Marco; Furia, Carlo A.
分享
收藏
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack
使用ByteBack在Java字节码层面推理异常行为
FORMAL ASPECTS OF COMPUTING
IF
1.4
2025-12-01
0
PRE
AI
Paganoni, Marco; Furia, Carlo A.
分享
收藏
An empirical study of fault localization in Python programs
Python程序错误定位的实证研究
EMPIRICAL SOFTWARE ENGINEERING
IF
3.6
2024-06-13
0
OA
AI
Rezaalipour, Mohammad; Furia, Carlo A.
分享
收藏
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
EMPIRICAL SOFTWARE ENGINEERING
IF
3.6
2024-01-15
0
OA
AI
Felici, Riccardo; Pozzi, Laura; Furia, Carlo A.
分享
收藏
Lightweight precise automatic extraction of exception preconditions in java methods
java方法中异常前提条件的轻量级精确自动提取
EMPIRICAL SOFTWARE ENGINEERING
IF
3.6
2023-12-26
0
OA
AI
Marcilio, Diego; Furia, Carlo A.
分享
收藏
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2023-11-24
4
OA
AI
Furia, Carlo A.; Torkar, Richard; Feldt, Robert
分享
收藏
An annotation-based approach for finding bugs in neural network programs
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2023-07-01
3
OA
AI
Rezaalipour, Mohammad; Furia, Carlo A.
分享
收藏
Program Repair With Repeated Learning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2023-02-01
4
PRE
AI
Chen, Liushan; Pei, Yu; Pan, Minxue; Zhang, Tian; Wang, Qixin; Furia, Carlo A.
分享
收藏
Automated repair of resource leaks in Android applications?
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2022-10-01
3
OA
AI
Bhatt, Bhargav Nagaraja; Furia, Carlo A.
分享
收藏
A Method to Assess and Argue for Practical Significance in Software Engineering
一种评估和论证软件工程实际意义的方法
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2022-06-01
14
OA
AI
Torkar, Richard; Furia, Carlo A.; Feldt, Robert; de Oliveira Neto, Francisco Gomes; Gren, Lucas; Lenberg, Per; Ernst, Neil A.
分享
收藏
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2022-03-07
15
OA
AI
Furia, Carlo A.; Torkar, Richard; Feldt, Robert
分享
收藏
RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2022-01-01
7
OA
AI
Xu, Tongtong; Chen, Liushan; Pei, Yu; Zhang, Tian; Pan, Minxue; Furia, Carlo A.
分享
收藏
Contract-Based Program Repair Without The Contracts: An Extended Study
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2021-12-01
16
OA
AI
Chen, Liushan; Pei, Yu; Furia, Carlo A.
分享
收藏
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2020-10-01
29
PRE
AI
Marcilio, Diego; Furia, Carlo A.; Bonifacio, Rodrigo; Pinto, Gustavo
分享
收藏
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2019-10-01
40
OA
AI
Neto, Francisco Gomes de Oliveira; Torkar, Richard; Feldt, Robert; Gren, Lucas; Furia, Carlo A.; Huang, Ziwei
分享
收藏
Bayesian Data Analysis in Empirical Software Engineering Research
贝叶斯数据分析在实证软件工程研究中的应用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2019-01-01
40
OA
AI
Furia, Carlo A.; Feldt, Robert; Torkar, Richard
分享
收藏
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
通过突变,动态分析和静态检查推断循环不变量
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2015-10-01
22
OA
AI
Galeotti, Juan P.; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, Andreas
分享
收藏
Automated Fixing of Programs with Contracts
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2014-05-01
167
OA
AI
Pei, Yu; Furia, Carlo A.; Nordio, Martin; Wei, Yi; Meyer, Bertrand; Zeller, Andreas
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
B
Bertrand Meyer
H 指数: 84 · 论文数: 995
A
Andreas Zeller
H 指数: 66 · 论文数: 415
R
Robert Feldt
H 指数: 57 · 论文数: 436
G
Gordon Fraser
H 指数: 55 · 论文数: 398
G
Gustavo Pinto
H 指数: 32 · 论文数: 212
查看更多