<--- Back to Details
First PageDocument Content
Theoretical computer science / Mathematics / Logic in computer science / Constraint programming / Formal methods / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Expression / Algorithm / Concolic testing / Program synthesis
Date: 2018-06-25 09:59:57
Theoretical computer science
Mathematics
Logic in computer science
Constraint programming
Formal methods
Electronic design automation
NP-complete problems
Satisfiability modulo theories
Expression
Algorithm
Concolic testing
Program synthesis

002-061_Papers_untitled_01

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Download Document from Source Website

File Size: 298,69 KB

Share Document on Facebook

Similar Documents

Concolic Testing for Deep Neural Networks

DocID: 1xUoO - View Document

Carnegie Mellon University / Concolic testing / Taint checking / Mellon / Symbolic execution / Software engineering

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution

DocID: 1reeX - View Document

Computing / Internet / Network architecture / Border Gateway Protocol / Computer networking / Concolic testing / Router / Symbolic execution

Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {

DocID: 1qGjU - View Document

Theoretical computer science / Computing / Software engineering / Automated theorem proving / Concolic testing / Formal methods / Symbolic execution / Parallel computing / Satisfiability modulo theories / KeY / Symbolic / X86

Unleashing Mayhem on Binary Code

DocID: 1qxMt - View Document

Software / Computing / System software / Boot loaders / BIOS / Rootkits / System Management Mode / Concolic testing / Symbolic execution / Unified Extensible Firmware Interface / QEMU / Software testing

Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

DocID: 1q1wA - View Document