Sotabase

Career

· Research And Development Engineer, Electrolux2016–
· Plumbing Engineer, Edioc Srl2014–2016
· Licenta, Plumbing Technology/Plumber, Technical University Cluj Napoca2009–2013

Publications (102)

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
USENIX Symposium on Operating Systems Design and Implementation · 2008
3,579
cited
EXE: automatically generating inputs of death
Conference on Computer and Communications Security · 2006
1,242
cited
Symbolic execution for software testing: three decades later
CACM · 2013
814
cited
Symbolic execution for software testing in practice: preliminary assessment
International Conference on Software Engineering · 2011
368
cited
Enhancing Server Availability and Security Through Failure-Oblivious Computing
USENIX Symposium on Operating Systems Design and Implementation · 2004
364
cited
Preventing Memory Error Exploits with WIT
IEEE Symposium on Security and Privacy · 2008
347
cited
RWset: Attacking Path Explosion in Constraint-Based Test Generation
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2008
272
cited
Execution Generated Test Cases: How to Make Systems Code Crash Itself
SPIN · 2005
268
cited
KATCH: high-coverage testing of software patches
ESEC/FSE 2013 · 2013
175
cited
Fuzzing: Challenges and Reflections
IEEE Software · 2020
152
cited
Safe software updates via multi-version execution
International Conference on Software Engineering · 2013
114
cited
Automatically generating malicious disks using symbolic execution
IEEE Symposium on Security and Privacy · 2006
109
cited
VARAN the Unbelievable: An Efficient N-version Execution Framework
International Conference on Architectural Support for Programming Languages and Operating Systems · 2015
94
cited
A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)
Asia-Pacific Computer Systems Architecture Conference · 2004
93
cited
Chopped Symbolic Execution
International Conference on Software Engineering · 2018
90
cited
make test-zesti: A symbolic execution solution for improving regression testing
International Conference on Software Engineering · 2012
88
cited
Data Randomization
2008
82
cited
Multi-solver Support in Symbolic Execution
International Workshop on Satisfiability Modulo Theories · 2013
81
cited
Symbolic crosschecking of floating-point and SIMD code
European Conference on Computer Systems · 2011
80
cited
EXE: A system for automatically generating inputs of death using symbolic execution
Conference on Computer and Communications Security · 2006
71
cited
Sotabase
Dr Cristian Cadar | Researcher Profile | Sotabase | Sotabase