Cristian Cadar

Dikutip oleh

	Semua	Sejak 2020
Kutipan	12690	4843
indeks-h	36	29
indeks-i10	60	51

1100

550

275

825

20052006200720082009201020112012201320142015201620172018201920202021202220232024202551 61 123 192 297 333 402 439 630 702 795 820 868 975 949 1004 890 885 911 1033 117

Akses publik

Lihat semua

43 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityEmail yang diverifikasi di stanford.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyEmail yang diverifikasi di cs.berkeley.edu
Alastair DonaldsonImperial College LondonEmail yang diverifikasi di imperial.ac.uk
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail yang diverifikasi di gatech.edu
martin rinardMITEmail yang diverifikasi di lcs.mit.edu
Paul MarinescuFacebookEmail yang diverifikasi di fb.com
Miguel CastroDistinguished Engineer, Microsoft ResearchEmail yang diverifikasi di microsoft.com
Manuel CostaMicrosoft ResearchEmail yang diverifikasi di microsoft.com
Petr HosekGoogleEmail yang diverifikasi di google.com
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityEmail yang diverifikasi di stanford.edu
Hristina PalikarevaCiscoEmail yang diverifikasi di cisco.com
Tomasz KuchtaComputer Scientist | Mobile Security @ Samsung ElectronicsEmail yang diverifikasi di alumni.imperial.ac.uk
Luís PinaUniversity of Illinois ChicagoEmail yang diverifikasi di uic.edu
Paul KellyProfessor of Software Technology, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk
Peter PietzuchProfessor of Distributed Systems, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk
JaeSeung SongDistinguished Professor of Department of Computer and Information Security, Sejong UniversityEmail yang diverifikasi di sejong.ac.kr
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityEmail yang diverifikasi di cs.columbia.edu
Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk

Ikuti

Cristian Cadar

Imperial College London

Email yang diverifikasi di imperial.ac.uk - Beranda

Software Engineering Software Testing and Verfication Computer Systems Programming Languages Cybersecurity


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	4658	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	1657*	2006
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1167	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	524	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	453	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	374	2008
Execution generated test cases: How to make systems code crash itself C Cadar, D Engler Model Checking Software, 2005	368	2005
KATCH: High-Coverage Testing of Software Patches PD Marinescu, C Cadar European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013	211	2013
Fuzzing: Challenges and Reflections M Boehme, C Cadar, A Roychoudhury IEEE Software 38 (3), 2021	188	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	154	2006
Safe software updates via multi-version execution P Hosek, C Cadar Proceedings of the 2013 International Conference on Software Engineering …, 2013	152	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	141	2004
Data randomization C Cadar, P Akritidis, M Costa, JP Martin, M Castro Technical Report MSR-TR-2008-120, Microsoft Research, 2008	126	2008
Chopped Symbolic Execution D Trabish, A Mattavelli, N Rinetzky, C Cadar ACM/IEEE 40th International Conference on Software Engineering, 2018	118	2018
VARAN the Unbelievable: An Efficient N-version Execution Framework P Hosek, C Cadar Proceedings of the Twentieth International Conference on Architectural …, 2015	118	2015
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	111	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	106	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	92	2016

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama