Concolic Testing for Deep Neural Networks

Source URL: qav.comlab.ox.ac.uk

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

Source URL: oakland31.cs.virginia.edu

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

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 {

Source URL: conferences.sigcomm.org

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

Unleashing Mayhem on Binary Code

Source URL: users.ece.cmu.edu

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

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

Source URL: www.usenix.org

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

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Software
• Software testing
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Software metrics
• Control flow graph
• KeY
• Code coverage
• Algorithm
• Data-flow analysis
• GNU Core Utilities

IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware Michelle Y. Wong and David Lie Department of Electrical and Computer Engineering University of Toronto

Source URL: www.eecg.toronto.edu

• Smartphones
• Cross-platform software
• Object-oriented programming languages
• Malware
• Malware analysis
• Android
• Monkey X
• Application programming interface
• Concolic testing
• Event
• Java
• Constraint satisfaction problem

Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London

Source URL: www.doc.ic.ac.uk

• Software testing
• Concolic testing
• Symbolic execution
• Java Pathfinder
• KeY
• Random testing
• Model checking
• Satisfiability modulo theories
• Unit testing
• Type system
• White-box testing
• Fuzz testing

Definable functions continuous on curves in o-minimal structures

Source URL: perso.uclouvain.be

• OpenFlow
• Nox
• Model checking
• Concolic testing
• Transmission Control Protocol

EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,

Source URL: www.doc.ic.ac.uk

• Data types
• Symbolic execution
• Pointer
• Array data structure
• Array data type
• Bit array
• Type system
• Concolic testing