logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Cristian Cadar

imperial college london

34H指数
108论文数
8.2K被引数
收录论文 11
发表时间
logo
When You Have a Fuzzer, Everything Looks LikeaReachabilityProblem当您拥有模糊测试器时，所有问题看起来都像可达性问题
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errDonaldson, Alastair F.; Cadar, Cristian; Carrasco, Manuel; Iorga, Dan; Liew, Daniel; Wickerson, John
err分享
err收藏
P3: Reasoning about Patches via Product ProgramsP3：通过产品程序进行补丁推理
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errSharma, Arindam; Schemmel, Daniel; Cadar, Cristian
err分享
err收藏
Grammar Mutation for Testing Input Parsers-RCR Report《语法变异用于测试输入解析器—RCR报告》
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-01-21
err0
PREAI
errBendrissou, B; Cadar, C; Donaldson, AF
err分享
err收藏
Grammar Mutation for Testing Input Parsers测试输入解析器的语法变异
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-12-20
err0
PREAI
errBendrissou, Bachir; Cadar, Cristian; Donaldson, Alastair f.
err分享
err收藏
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2022-07-08
err10
errOAAI
errEven-Mendoza, Karine; Cadar, Cristian; Donaldson, Alastair F.
err分享
err收藏
Fuzzing: Challenges and Reflections模糊测试: 挑战与反思
errIEEE SOFTWARE
IF3
err2021-05-01
err86
errOAAI
errBohme, Marcel; Cadar, Cristian; Roychoudhury, Abhik
err分享
err收藏
Shadow Symbolic Execution for Testing Software Patches
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2018-09-25
err21
errOAAI
errKuchta, Tomasz; Palikareva, Hristina; Cadar, Cristian
err分享
err收藏
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2018-03-09
err14
errOAAI
errKuchta, Tomasz; Lutellier, Thibaud; Wong, Edmund; Tan, Lin; Cadar, Cristian
err分享
err收藏
Symbolic Crosschecking of Data-Parallel Floating-Point Code数据并行浮点代码的符号交叉检查
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-07-01
err13
errOAAI
errCollingbourne, Peter; Cadar, Cristian; Kelly, Paul H. J.
err分享
err收藏
SYMBEXNET: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-07-01
err39
errOAAI
errSong, JaeSeung; Cadar, Cristian; Pietzuch, Peter
err分享
err收藏
Symbolic Execution for Software Testing: Three Decades Later软件测试的符号执行: 三十年后
errCOMMUNICATIONS OF THE ACM
IF12.2
err2013-02-01
err584
PREAI
errCadar, Cristian; Sen, Koushik
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
K
Koushik Sen
H 指数: 65 · 论文数: 252
A
Abhik Roychoudhury
H 指数: 50 · 论文数: 316
L
Lin Tan
H 指数: 41 · 论文数: 114
P
Peter Pietzuch
H 指数: 41 · 论文数: 201
P
Paul H. J. Kelly
H 指数: 34 · 论文数: 236
查看更多