Sciweavers

    59 search results - page 1 / 12
    » tap 2007
    Sort
    View
    120
    Voted
    TAP
    2007
    Springer
    69views Hardware» more  TAP 2007»
    White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
    16 years 22 days ago
    White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
    Download  i12www.ira.uka.de
    Bernhard Beckert, Christoph Gladisch
    claim paper
    Read More »
    TAP
    2007
    Springer
    80views Hardware» more  TAP 2007»
    Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
    16 years 22 days ago
    Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
    Download  www.brucker.ch
    Achim D. Brucker, Burkhart Wolff
    claim paper
    Read More »
    TAP
    2007
    Springer
    64views Hardware» more  TAP 2007»
    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
    16 years 22 days ago
    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
    Download  se.ethz.ch
    Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller
    claim paper
    Read More »
    141
    Voted
    MASCOTS
    2001
    102views Modeling And Simulation» more  MASCOTS 2001»
    A Stream Tapping Protocol with Partial Preloading
    15 years 8 months ago
    A Stream Tapping Protocol with Partial Preloading
    Download  www2.cs.uh.edu
    Jehan-François Pâris
    claim paper
    Read More »
    AEI
    2006
    68views more  AEI 2006»
    Temporal co-creation between self and others with multi-sensory inputs
    15 years 6 months ago
    Temporal co-creation between self and others with multi-sensory inputs
    Download  www.race.u-tokyo.ac.jp
    This study uses cognitive psychological experiments to elucidate human temporal co-creation with environments or other people. Time series analyses of alternate tapping with const...
    Takeshi Takenaka, Taiki Ogata, Kanji Ueda
    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.