Cristian Cadar

According to our database1, Cristian Cadar authored at least 59 papers between 2004 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Past-sensitive pointer analysis for symbolic execution.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Pending Constraints in Symbolic Execution for Better Exploration and Seeding.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Running symbolic execution forever.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang., 2019

Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062).
Dagstuhl Reports, 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.
CoRR, 2019

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Proceedings of the Tests and Proofs - 13th International Conference, 2019

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A segmented memory model for symbolic execution.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Computing summaries of string loops in C for better testing and refactoring.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Shadow Symbolic Execution for Testing Software Patches.
ACM Trans. Softw. Eng. Methodol., 2018

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files.
Empir. Softw. Eng., 2018

PARTI: a multi-interval theory solver for symbolic execution.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Chopped symbolic execution.
Proceedings of the 40th International Conference on Software Engineering, 2018

<i>FreeDA</i>: deploying incompatible stock dynamic analyses in production via multi-version execution.
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017
A DSL Approach to Reconcile Equivalent Divergent Program Executions.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Floating-point symbolic execution: a case study in n-version programming.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatic testing of symbolic execution engines via program generation and differential testing.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Accelerating array constraints in symbolic execution.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016
Symbooglix: A Symbolic Execution Engine for Boogie Programs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Shadow of a doubt: testing for divergences between software versions.
Proceedings of the 38th International Conference on Software Engineering, 2016

Analysing the program analyser.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Targeted program transformations for symbolic execution.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Towards deployment-time dynamic analysis of server applications.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

VARAN the Unbelievable: An Efficient N-version Execution Framework.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
IEEE Trans. Software Eng., 2014

Symbolic Crosschecking of Data-Parallel Floating-Point Code.
IEEE Trans. Software Eng., 2014

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Dagstuhl Reports, 2014

Docovery: toward generic automatic document recovery.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Covrig: a framework for the analysis of code, test, and coverage evolution in real software.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Shadow symbolic execution for better testing of evolving software.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Symbolic execution for software testing: three decades later.
Commun. ACM, 2013

KATCH: high-coverage testing of software patches.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Constraints in Software Testing, Verification and Analysis CSTVA'2013.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Safe software updates via multi-version execution.
Proceedings of the 35th International Conference on Software Engineering, 2013

Multi-solver Support in Symbolic Execution.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
High-Coverage Symbolic Patch Testing.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Symbolic Execution.
Proceedings of the Runtime Verification, Third International Conference, 2012

Efficient Argumentation for Medical Decision-Making.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

make test-zesti: A symbolic execution solution for improving regression testing.
Proceedings of the 34th International Conference on Software Engineering, 2012

Multi-version software updates.
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011
High coverage testing of Haskell programs.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011

Symbolic Testing of OpenCL Code.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Symbolic crosschecking of floating-point and SIMD code.
Proceedings of the European Conference on Computer Systems, 2011

2010
Multiplicity computing: a vision of software engineering for next-generation computing platform applications.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

2008
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur., 2008

RWset: Attacking Path Explosion in Constraint-Based Test Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Preventing Memory Error Exploits with WIT.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (S&P 2008), 2008

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2006
NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0.
RFC, May, 2006

Automatically Generating Malicious Disks using Symbolic Execution.
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

2005
Execution Generated Test Cases: How to Make Systems Code Crash Itself.
Proceedings of the Model Checking Software, 2005

Exploring the acceptability envelope.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004
Enhancing Server Availability and Security Through Failure-Oblivious Computing.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors).
Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004


  Loading...