Cristian Cadar

Citado por

	Total	Desde 2019
Citas	12308	5389
Índice h	35	31
Índice i10	58	49

1000

500

250

750

2005200620072008200920102011201220132014201520162017201820192020202120222023202452 69 125 195 298 330 402 434 630 701 785 820 886 987 950 987 900 885 902 762

Acceso público

Ver todo

41 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USADirección de correo verificada de gatech.edu
Alastair DonaldsonImperial College LondonDirección de correo verificada de imperial.ac.uk
martin rinardMITDirección de correo verificada de lcs.mit.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Paul MarinescuFacebookDirección de correo verificada de fb.com
Miguel CastroDistinguished Engineer, Microsoft ResearchDirección de correo verificada de microsoft.com
Manuel CostaMicrosoft ResearchDirección de correo verificada de microsoft.com
Petr HosekGoogleDirección de correo verificada de google.com
Hristina PalikarevaCiscoDirección de correo verificada de cisco.com
Tomasz KuchtaComputer Scientist | Mobile Security @ Samsung ElectronicsDirección de correo verificada de alumni.imperial.ac.uk
Paul KellyProfessor of Software Technology, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Luís PinaUniversity of Illinois ChicagoDirección de correo verificada de uic.edu
Peter PietzuchProfessor of Distributed Systems, Imperial College LondonDirección de correo verificada de imperial.ac.uk
JaeSeung SongDistinguished Professor of Department of Computer and Information Security, Sejong UniversityDirección de correo verificada de sejong.ac.kr
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk

Seguir

Cristian Cadar

Imperial College London

Dirección de correo verificada de imperial.ac.uk - Página principal

Software Engineering Software Testing and Verfication Computer Systems Programming Languages Cybersecurity


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs C Cadar, D Dunbar, D Engler USENIX conference on Operating Systems Design and Implementation (OSDI), 209-224, 2008	4495	2008
EXE: A system for automatically generating inputs of death using symbolic execution C Cadar, V Ganesh, P Pawlowski, D Dill, D Engler Proceedings of the ACM Conference on Computer and Communications Security, 2006	1644*	2006
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1134	2013
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... International Conference on Software Engineering, Impact Track (ICSE Impact …, 2011	517	2011
Enhancing server availability and security through failure-oblivious computing M Rinard, C Cadar, D Dumitran, DM Roy, T Leu, WS Beebee Jr Proceedings of the 6th conference on Symposium on Opearting Systems Design …, 2004	468	2004
Preventing memory error exploits with WIT P Akritidis, C Cadar, C Raiciu, M Costa, M Castro 2008 IEEE Symposium on Security and Privacy (sp 2008), 263-277, 2008	448	2008
RWset: Attacking path explosion in constraint-based test generation P Boonstoppel, C Cadar, D Engler Tools and Algorithms for the Construction and Analysis of Systems, 351-366, 2008	370	2008
Execution generated test cases: How to make systems code crash itself C Cadar, D Engler Model Checking Software, 2005	366	2005
KATCH: High-Coverage Testing of Software Patches PD Marinescu, C Cadar European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013	209	2013
Fuzzing: Challenges and Reflections M Boehme, C Cadar, A Roychoudhury IEEE Software 38 (3), 2021	157	2021
Automatically generating malicious disks using symbolic execution J Yang, C Sar, P Twohey, C Cadar, D Engler 2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006	150	2006
Safe software updates via multi-version execution P Hosek, C Cadar Proceedings of the 2013 International Conference on Software Engineering …, 2013	148	2013
A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors) M Rinard, C Cadar, D Dumitran, DM Roy, T Leu 20th Annual Computer Security Applications Conference, 82-90, 2004	140	2004
Data randomization C Cadar, P Akritidis, M Costa, JP Martin, M Castro Technical Report MSR-TR-2008-120, Microsoft Research, 2008	124	2008
VARAN the Unbelievable: An Efficient N-version Execution Framework P Hosek, C Cadar Proceedings of the Twentieth International Conference on Architectural …, 2015	120	2015
Chopped Symbolic Execution D Trabish, A Mattavelli, N Rinetzky, C Cadar ACM/IEEE 40th International Conference on Software Engineering, 2018	116	2018
Symbolic crosschecking of floating-point and SIMD code P Collingbourne, C Cadar, PHJ Kelly Proceedings of the sixth conference on Computer systems, 315-328, 2011	116	2011
Multi-solver Support in Symbolic Execution H Palikareva, C Cadar International Conference on Computer Aided Verification (CAV 2013), 53-68, 2013	107	2013
make test-zesti: a symbolic execution solution for improving regression testing PD Marinescu, C Cadar International Conference on Software Engineering (ICSE 2012), 716-726, 2012	107	2012
Shadow of a Doubt: Testing for Divergences Between Software Versions H Palikareva, T Kuchta, C Cadar International Conference on Software Engineering (ICSE 2016), 2016	84	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores