Sciweavers

    481 search results - page 11 / 97
    » Differential symbolic execution
    Sort
    View
    HVC
    2007
    Springer
    109views Hardware» more  HVC 2007»
    Symbolic Execution and Model Checking for Testing
    16 years 9 days ago
    Symbolic Execution and Model Checking for Testing
    Download  ti.arc.nasa.gov
    Corina S. Pasareanu, Willem Visser
    claim paper
    Read More »
    VSTTE
    2005
    Springer
    92views Software Engineering» more  VSTTE 2005»
    Constraint Solving and Symbolic Execution
    15 years 11 months ago
    Constraint Solving and Symbolic Execution
    Download  vstte.ethz.ch
    Jian Zhang
    claim paper
    Read More »
    ICCAD
    1997
    IEEE
    75views Hardware» more  ICCAD 1997»
    Scheduling and binding bounds for RT-level symbolic execution
    15 years 10 months ago
    Scheduling and binding bounds for RT-level symbolic execution
    Download  bears.ece.ucsb.edu
    Chuck Monahan, Forrest Brewer
    claim paper
    Read More »
    ASIAN
    1997
    Springer
    81views Algorithms» more  ASIAN 1997»
    Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
    15 years 9 months ago
    Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
    Download  www.cs.cmu.edu
    Randal E. Bryant, Miroslav N. Velev
    claim paper
    Read More »
    GLVLSI
    1995
    IEEE
    104views VLSI» more  GLVLSI 1995»
    Symbolic execution of data paths
    15 years 9 months ago
    Symbolic execution of data paths
    Download  bears.ece.ucsb.edu
    Chuck Monahan, Forrest Brewer
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.