First Page | Document Content | |
---|---|---|
![]() Date: 2011-08-01 22:52:33Computing Internet Network architecture Border Gateway Protocol Computer networking Concolic testing Router Symbolic execution | 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 |