First Page | Document Content | |
---|---|---|
![]() Date: 2018-06-25 09:59:57Theoretical 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 | Add to Reading List |
![]() | Concolic Testing for Deep Neural NetworksDocID: 1xUoO - View Document |
![]() | All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic ExecutionDocID: 1reeX - View Document |
![]() | 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 |
![]() | Unleashing Mayhem on Binary CodeDocID: 1qxMt - View Document |
![]() | 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 toDocID: 1q1wA - View Document |