Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristian Cadar
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Computing Summaries of String Loops in C for Better Testing and Refactoring
Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Towards Deployment-Time Dynamic Analysis of Server Applications
Related publications
Symbolic Execution for JavaScript
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Symbolic Models for Isolated Execution Environments
On the Nature of Symbolic Execution
Pinaka: Symbolic Execution Meets Incremental Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Closer Look at Software Refactoring Using Symbolic Execution
Runtime Exception Detection in Java Programs Using Symbolic Execution
Acta Cybernetica
Electronic Engineering
Information Systems
Pattern Recognition
Management Science
Computer Vision
Management
Electrical
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Operations Research
Software
Floating-Point Arithmetic
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science