Delft University of Technology Master’s Thesis in Embedded Systems Extending behavioral test models with symbolic data Christiaan Hartman

Source URL: www.es.ewi.tudelft.nl

Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of

Source URL: www.cs.uni-potsdam.de

Abstract Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 2 Department of Computer Science, University of Toronto, Canada

Source URL: www.cs.utoronto.ca

Learning Symbolic Automata Symbolic Learning

Source URL: www-verimag.imag.fr

aspl150-margignoni-original.pdf

Source URL: www.cs.berkeley.edu

• Computing
• Computer architecture
• Software
• Instruction set architectures
• Abstract interpretation
• Symbolic execution
• Instruction set
• Emulator
• QEMU
• Machine code
• Addressing mode
• X86

Model of symbolic looking procedure acquisition process in navigation learning task Takashi Omori Hokkaido University, Sapporo, Japan, Akitoshi Ogawa

Source URL: www.lucs.lu.se

Toward the Integration of Symbolic and Numerical Static Analysis Arnaud Venet Kestrel Technology 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: vstte.ethz.ch

The sound symbolic nature of Japanese maid names∗ Kazuko Shinohara Tokyo University of Agriculture and Technology &

Source URL: user.keio.ac.jp

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ⋆ S´ebastien Bardin Nikolai Kosmatov

Source URL: www.stance-project.eu

ASSOCIATION FOR SYMBOLIC LOGIC 2015 NORTH AMERICAN ANNUAL MEETING University of Illinois Champaign-Urbana Urbana IL March 25 – March 28, 2015

Source URL: www.math.uiuc.edu