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

Cristian Cadar

imperial college london

34H-index
108Paper Count
8.2KCitation Count
Published Papers 11
Publication Date
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
errShare
errSave
P3: Reasoning about Patches via Product Programs
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errSharma, Arindam; Schemmel, Daniel; Cadar, Cristian
errShare
errSave
Grammar Mutation for Testing Input Parsers-RCR Report
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-01-21
err0
PREAI
errBendrissou, B; Cadar, C; Donaldson, AF
errShare
errSave
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.
errShare
errSave
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.
errShare
errSave
Fuzzing: Challenges and Reflections
errIEEE SOFTWARE
IF3
err2021-05-01
err86
errOAAI
errBohme, Marcel; Cadar, Cristian; Roychoudhury, Abhik
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
Symbolic Execution for Software Testing: Three Decades Later
errCOMMUNICATIONS OF THE ACM
IF12.2
err2013-02-01
err584
PREAI
errCadar, Cristian; Sen, Koushik
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Koushik Sen
H-index: 65 · Papers: 252
A
Abhik Roychoudhury
H-index: 50 · Papers: 316
L
Lin Tan
H-index: 41 · Papers: 114
P
Peter Pietzuch
H-index: 41 · Papers: 201
P
Paul H. J. Kelly
H-index: 34 · Papers: 236
View more